Hi, for the record I think the next steps are:
1. ensure the blocking kernel bug is fixed: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=883703#32 2. adjust the Stretch packaging branch so it uses the same implementation as testing/sid (#879585) 3. update the stretch-pu request (#882697) Cheers, -- intrigeri
