I'm getting an error restoring a mysqldump. At first, I was restoring the full dump (with data), but fortunately, I'm able to elicit the same error, on the same line. Please let me know if this is user error, or whether I should file a ticket. 

Dump:

$ mysqldump -h myhost -umyuser -p --no-data --routines --single-transaction mysite_cms > /vagrant/temp/downloads/misc/prod_skeleton.sql

$ mysql -uroot -p mysite_raw_redacted < /vagrant/temp/downloads/misc/prod_skeleton_redacted.sql

ERROR 1064 (42000) at line 1451: You have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near '*/' at line 1

That line is highlighted:

DELIMITER ;;

/*!50003 CREATE*/ /*!50017 DEFINER=`mysite_cms`@`%`*/ /*!50003 TRIGGER cal_tbl_event_delete

AFTER DELETE ON cal_tbl_event

FOR EACH ROW

INSERT INTO delete_log(deleted_id, deleted_date, deleted_table)

    VALUES (Old.id, now(), 'cal_tbl_event'); */;;

DELIMITER ;

Source DB:

+-------------------------+---------------------+

| Variable_name           | Value               |

+-------------------------+---------------------+

| innodb_version          | 5.5.49-MariaDB-38.0 |

| protocol_version        | 10                  |

| slave_type_conversions  |                     |

| version                 | 5.5.52-MariaDB      |

| version_comment         | MariaDB Server      |

| version_compile_machine | x86_64              |

| version_compile_os      | Linux               |

+-------------------------+---------------------+

Target DB:

+-------------------------+---------------------------------+

| Variable_name           | Value                           |

+-------------------------+---------------------------------+

| innodb_version          | 5.5.52-MariaDB-38.3             |

| protocol_version        | 10                              |

| slave_type_conversions  |                                 |

| version                 | 5.5.53-MariaDB-1~precise        |

| version_comment         | mariadb.org binary distribution |

| version_compile_machine | x86_64                          |

| version_compile_os      | debian-linux-gnu                |

+-------------------------+---------------------------------+

Thanks,

Jamie