Thomas Mueller - 2026-10-16

Fixed in revision 5989.