SuccessChanges

Summary

  1. Fixes DB creation script not working on some MySQL servers (details)
Commit b0a32ed61a3de1ed0dbbc5b58cb4be943b246c28 by aggarcia3
Fixes DB creation script not working on some MySQL servers
At least the following server does not like line breaks in the USE 
statement: mysqld  Ver 10.5.12-MariaDB-1 for debian-linux-gnu on x86_64
(Debian 11)
The file was modifiedadditional-material/db/microstories-mysql.full.sql (diff)