
<html><head></head><body><div>Given that Debian 11 Bullseye has 4.13.13 now I think this can be closed as fixed.</div></body></html>