On 11/21/20 5:17 AM, Pádraig Brady wrote:
The info in https://bugs.gnu.org/44739 must be incorrect, and we've two counter checks to it now.
Yes, that sounds right. Closing that bug report.
- bug#44763: Error when 'make'ing latest v... Chris Elvidge
- bug#44763: Error when 'make'ing latest version o... Akim Demaille
- bug#44763: Error when 'make'ing latest versi... Chris Elvidge
- bug#44763: Error when 'make'ing latest v... Akim Demaille
- bug#44763: Error when 'make'ing lat... Chris Elvidge
- bug#44763: Error when 'make'ing lat... Bernhard Voelker
- bug#44763: Error when 'make'ing lat... Chris Elvidge
- bug#44763: Error when 'make'ing latest version of coreuti... Akim Demaille
- bug#44763: Error when 'make'ing latest version of co... Akim Demaille
- bug#44763: Error when 'make'ing latest version o... Pádraig Brady
- bug#44763: Error when 'make'ing latest versi... Paul Eggert
