OK pushed to main at ok/ChatMastermind

OK
2023-08-05T12:36:19+02:00

1bb553b223ae95b53ce971659f16f995d260df00 Merge branch 'main' of stage.fjerkroa.no:ok/ChatMastermind bb8aa2f81714d9458a32342c177373395c6b7ae6 Fix read_file declaration.