[Agda] [ANNOUNCE] Agda 2.6.2.2 release candidate 2

[Andreas Abel]

The release candidate for Agda 2.6.2.2 has been updated:

     https://hackage.haskell.org/package/Agda-2.6.2.1.20220327/candidate

Over RC1 (2022-03-20) it contains a few more bug fixes, most notably an 
inconsistency in Cubical Agda: https://github.com/agda/agda/issues/5838

2.6.2.2 will be mostly a bugfix release, and will build in the latest 
Haskell ecosystem (bytestring-0.11.2.0, text-icu-0.8.0.1).
For detailed comparison with 2.6.2.1, consult the changelog published 
with the candidate above.

Instructions how to test the candidate are available at:

     https://github.com/agda/agda/pull/5841

Please report any regressions over 2.6.2.1 (or 2.6.2 or 2.6.2.2-rc1) at 
the Agda issue tracker.
I plan to release Agda 2.6.2.2 one week later, should no 
release-stopping regressions be reported.

Cheers,
Andreas

-- 
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/