Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
See MHQ issue #5198. Note that the file is fine under MM, but missing…
… the comma under MHQ. I do not understand why, but this should fix it.
- Loading branch information