Ubuntu
devscripts package

Bug #1820798
Comment #7

Comment 7 for bug 1820798

Revision history for this message

Alex Murray (alexmurray) wrote on 2019-04-09:

#7

devscripts_2.19.4ubuntu0.1.debdiff Edit (71.0 KiB, text/plain)

The attached should is more robust to optimisation in gcc and is updated against the latest devscripts in disco