New release 1.1?

Question

New release 1.1?

minad opened this issue 3 months ago · comments

Hello Omar,

could you please tag a new release 1.1, such that we get d8ae99c? This commit is needed by Consult, such that I can also release a new version. I am not sure about the other changes, i.e., if a new Embark release is already justified, but it seems there are also a number of bug fixes and the alternative exporter. Thanks!

Daniel Mendler commented 3 months ago

Thanks!

Omar Antolín Camarena · Answer 1 · Fri Apr 19 2024 20:59:29 GMT+0800 (China Standard Time)

No problem!

Nicolas Graves · Answer 2 · Mon May 13 2024 20:02:19 GMT+0800 (China Standard Time)

@oantolin Could you also tag the repository accordingly? Thanks!

Omar Antolín Camarena · Answer 3 · Tue May 14 2024 00:46:34 GMT+0800 (China Standard Time)

Done, @nicolas-graves.

Nicolas Graves · Answer 4 · Tue May 14 2024 01:13:54 GMT+0800 (China Standard Time)

Thanks! That was for updating on Guix, which relies on the repository tag. Have a nice day!