Processed: Re: Bug#987921: linbox FTBFS on 32bit with gcc 10

[Debian Bug Tracking System]

Processing control commands:

> forwarded -1 https://github.com/linbox-team/linbox/issues/273
Bug #987921 [src:linbox] linbox FTBFS on 32bit with gcc 10
Set Bug forwarded-to-address to 'https://github.com/linbox-team/linbox/issues/273'.

-- 
987921: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=987921
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems