This was patched on time: https://tracker.debian.org/news/1710762/accepted-openssl-354-1deb13u2-source-into-stable-security/ https://tracker.debian.org/news/171

This was patched on time: https://tracker.debian.org/news/1710762/accepted-openssl-354-1deb13u2-source-into-stable-security/ https://tracker.debian.org/news/1710762/accepted-openssl-354...