Linux Mint 19.3 release is planned for Christmas