tree 088e8f45c9535a230d302668a56901c73e604331
parent 0458927b9d2fedf09a83af8e1cf55c4a25afe017
author onqtam <vik.kirilov@gmail.com> 1553983432 +0200
committer onqtam <vik.kirilov@gmail.com> 1553983432 +0200

this is actually necessary for the xml reporter as well - relates #217