Merge pull request #1269 from jwillemsen/jwi-news2
commitb1c672f15b190b730f9074fb98269fa7adfc4c2c
authorJohnny Willemsen <jwillemsen@remedy.nl>
Sat, 24 Oct 2020 10:46:30 +0000 (24 12:46 +0200)
committerGitHub <noreply@github.com>
Sat, 24 Oct 2020 10:46:30 +0000 (24 12:46 +0200)
treee568ca350cc044ad3bc2396883a88c2f098fdfbe
parent350d4011d2eddbe4429d0048b8dfda4e293be23c
parent83dc09aacce718c0844ba721053298f21bc8e160
Merge pull request #1269 from jwillemsen/jwi-news2

Updated news file for x.5.12