It's all the same people on both sides and I didn't close the Debian bug so it's on my mind, but that's hard to have a general process for.
It's all the same people on both sides and I didn't close the Debian bug so it's on my mind, but that's hard to have a general process for.