The Peppermint OS team have released an update ISO for the distribution's version 9 release. This refreshed ISO contains a few important fixes for install time issues found in project's last update in December: "Peppermint 9 Respin-2 (Peppermint-9-20190102) bug fixes: Fixed an issue where 64bit UEFI installs would fail to properly install the signed GRUB boot loader without an active internet connection. Fixed missing Chinese / Japanese / Korean fonts in the installer. Fixed the 'OEM Install' option. All other changes remain the same as those for the original Peppermint 9 Respin, which can be seen here." The project's blog offers further details.