@sgiehl opened this Pull Request on August 18th 2019 Member

fixes #12680

@tsteur commented on August 18th 2019 Member

LGTM. Will need updating of test screenshots though for it to merge.

@sgiehl commented on August 19th 2019 Member

@tsteur just updated the UI files

This Pull Request was closed on August 19th 2019
Powered by GitHub Issue Mirror