[Bug] Comments exported incorrectly

Version 9.4.0.5125

Comments are exported in the following format: /!40000 ALTER TABLE test /; -- HeidiSQL Version: 9.4.0.5125

Running this causes the SQL error "Table doesn't exist"

To resolve: Add a space after the /, example: / !40000 ALTER TABLE test */;

No, comments are exported with an asterisk after the slash:

/*!40101 SELECT 1 */;

Adding a space turns such a conditional comment into an ordinary comment not being executed on any server:

/* !40101 SELECT 1 */;