Skip to content

Fixing #755: Segment names containing Optional were used as tag names in XML reports#756

Closed
andrzejj0 wants to merge 1 commit intomojohaus:masterfrom andrzejj0:issue-755-quick-fix

Commits

Commits on Oct 13, 2022