Hi,

Josselin Poiret <dev@jpoiret.xyz> writes:

> Small patchset, just updating Agda to the latest release.  All libraries should
> work with this.

Merged with bd0f2173210416e86281c1de8789e7cdab66dd57.  Closing.

Best,
-- 
Josselin Poiret