> I'd be happy with a binNMU here. Do I need to ask the RMs for one myself?
I'm not sure. Wookey's done the binNMU for arm64 so you don't need to worry about that. The other, sh4, is an "unofficial port" so it might be treated differently somehow. I'm copying [email protected] in case that reaches someone who's interested. (The bug: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797762 ) Edmund
