@tsteur opened this Pull Request on July 20th 2019 Member

fix #14677

will need to minify tracker before merging. As there are various PRs pending I will wait with doing this before merging.

This Pull Request was closed on August 1st 2019
Powered by GitHub Issue Mirror