[Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch

[Andrés Sicard-Ramírez]

On 14 February 2015 at 12:25, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
>> Maybe an option is stopping working in the maintenance branches of Agda and
>> the standard library and focus in the release of Agda 2.4.4 (and a version
>> of the standard library compatible with it). The standard library is ready
>> for it. Besides issue https://code.google.com/p/agda/issues/detail?id=1347,
>> I don't remember if there are some Agda issues blocking this option.
>
> How about https://code.google.com/p/agda/issues/detail?id=1396  ?

This regression is in both branches (master and maintenance), so this
is different to issue 1347 which only is in master. However, I think
issue 1396 is a blocking bug for releasing Agda 2.4.2.3 (or Agda
2.4..4 following my proposal).

-- 
Andrés