Package: release.debian.org Followup-For: Bug #1081740 X-Debbugs-Cc: francesco.balla...@unicatt.it, sramac...@debian.org
Hi Sebastian, thanks for the reminder. Upstream has committed a fix for #1084087, that I included in 4.13.1+ds1-3. buildd was ok on 32 bit arches, so transition should be possible now. Thanks, Francesco