--- a/.github/workflows/make.yaml	Tue Dec 19 15:44:22 2023 -0800
+++ b/.github/workflows/make.yaml	Wed Dec 20 10:48:50 2023 +0100
@@ -442,7 +442,7 @@
         # The third block is for additional dependencies needed when building from a repository checkout.
         run: |
           brew update
-          brew install --overwrite python@3.10 python@3.11
+          brew install --overwrite python@3.11 python@3.12
           brew reinstall gcc
           brew install arpack epstool fftw fig2dev fltk fontconfig freetype \
             ghostscript gl2ps glpk gnuplot graphicsmagick hdf5 libsndfile \

--- a/doc/interpreter/contributors.in	Tue Dec 19 15:44:22 2023 -0800
+++ b/doc/interpreter/contributors.in	Wed Dec 20 10:48:50 2023 +0100
@@ -200,8 +200,10 @@
 Alexander Klein
 Lasse Kliemann
 Geoffrey Knauth
+Hendrik Koerner
 Martin Köhler
 Heine Kolltveit
+Peter Konowski
 Ken Kouno
 Kacper Kowalik
 Endre Kozma
@@ -384,6 +386,7 @@
 Baylis Shanks
 Andriy Shinkarchuck
 Robert T. Short
+Paulo Silva
 Joseph P. Skudlarek
 John Smith
 Julius Smith
@@ -420,6 +423,7 @@
 Corey Thomasson
 Andrew Thornton
 Olaf Till
+Petter Tomner
 Christophe Tournery
 Thomas Treichl
 Abhinav Tripathi