@iiegn opened this Pull Request on February 10th 2017 Contributor

Change '//' comment to '/ ... /' to avoid interference with html/js
optimisers.

Fix #11332

@mattab commented on February 18th 2017 Owner

Thanks for the PR @iiegn :+1:

This Pull Request was closed on February 18th 2017
Powered by GitHub Issue Mirror