Closed avsm closed 11 years ago
Oops, missed this for an eternity (I rarely log into github and hadn't used pull requests yet), sorry.
no problem!
On 15 Jun 2013, at 19:18, mfp notifications@github.com wrote:
Oops, missed this for an eternity (I rarely log into github and hadn't used pull requests yet), sorry.
— Reply to this email directly or view it on GitHub.
The OASIS files need to be regenerated with OASIS-0.3. Any chance of a release with this done, so that the OPAM package can be updated?