Given that Debian 11 Bullseye has 4.13.13 now I think this can be
closed as fixed.

Reply via email to