[Agda-dev] Release candidate for Agda 2.6.1.2

[Andreas Abel]

Good catch, Andrés!  I added it and updated the candidate.

On 2020-10-27 21:46, Andrés Sicard-Ramírez wrote:
> 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,
> 

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/