[rwth-security] Microsoft Re-Releases Security Updates (CVE-2019-1367)