Looks like it does work without DELIMITER. And my script app seems to accept it without DELIMITER, so I probably don't need this personally anymore, but it might be nice for others if it was supported ...

Not able to connect to the database server on MySQL Workbench? Solve this error with a simple ALTER query. I think last week I published an article on how to install ...

I've done some digging but can't find any info on what may be causing this - not sure if it's an problem on the plugin side, mysql workbench side, or other. Any hints ...