OK pushed to master at Fjerkroa/discord_bot

OK
2023-08-21T13:38:49+02:00

8c718ad2729ed013fda10350f153f83f79d4cfee Do not historise the boreness question.