[Agda-dev] Release candidate for Agda 2.6.1.2

Andrés Sicard-Ramírez asr at eafit.edu.co
Tue Oct 27 21:46:34 CET 2020


On Mon, 26 Oct 2020 at 20:06, Andreas Abel <abela at chalmers.se> wrote:
>
> Please let me know if you see something that's wrong

The `2.6.1.1.md` file is not in `doc/release-notes/`.

Best,
-- 
Andrés


More information about the Agda-dev mailing list