I followed the instructions given there, and added the additional init
file as described there. No error reported by /var/log/mysql/error.log
upon restarting or running the mysql service.
However, I cannot yet check-in back items which were checked-out in the
past. (I can still do that with new check-outs.)
Since it seems that the problem is solved with new check-outs, would you
recommend that I manually remove old check-outs from the database, and
issue them again (with a new date - doesn't matter, as long as it works)?