Links 18 12 2019: Mint Release Made Official, Red Hat Quay 3.2 Is Out