build: Add korg 12.3.0

Author: mpe

README.md

@@ -52,6 +52,7 @@ Different toolchains
 There are images for various toolchains, they are encoded in the distro name/version.
 
  - `korg@13.1.0`: kernel.org gcc 13.1.0, binutils 2.40
+ - `korg@12.3.0`: kernel.org gcc 12.3.0, binutils 2.40
  - `korg@12.2.0`: kernel.org gcc 12.2.0, binutils 2.39
  - `korg@12.1.0`: kernel.org gcc 12.1.0, binutils 2.38
  - `korg@11.3.0`: kernel.org gcc 11.3.0, binutils 2.38

build/Makefile

@@ -17,7 +17,7 @@ endif
 UBUNTU_DISTROS += ubuntu@20.04 ubuntu@18.04 ubuntu@16.04 ubuntu
 
 FEDORA_DISTROS := fedora@${FEDORA_LATEST} fedora@37 fedora@36 fedora@35 fedora@34 fedora@33 fedora@31 fedora
-KORG_DISTROS := korg@13.1.0 korg@12.2.0 korg@12.1.0 korg@11.3.0 korg@11.1.0 korg@10.3.0 korg@9.4.0 korg@9.3.0 korg@8.5.0 korg@8.1.0 korg@5.5.0
+KORG_DISTROS := korg@13.1.0 korg@12.3.0 korg@12.2.0 korg@12.1.0 korg@11.3.0 korg@11.1.0 korg@10.3.0 korg@9.4.0 korg@9.3.0 korg@8.5.0 korg@8.1.0 korg@5.5.0
 ALL_DISTROS := ${UBUNTU_DISTROS} ${KORG_DISTROS} ${FEDORA_DISTROS}
 DOCS_DISTRO := docs@${UBUNTU_LATEST}
 X86_DISTROS := ubuntu@${UBUNTU_LATEST} ubuntu