Julian Rüth b169f5be9f Restore symbol from 10.1 ...

Fixes #3785.

the write_console symbol has changed from 10.1 to 10.2. Here we restore
the symbol as introduced in 10.1.

2024-01-03 10:09:01 -08:00

..

fmt

Restore symbol from 10.1

2024-01-03 10:09:01 -08:00