Fix #532: rm pedantic: true from marked options#592
Open
MPvHarmelen wants to merge 1 commit intognab:developfrom
Open
Fix #532: rm pedantic: true from marked options#592MPvHarmelen wants to merge 1 commit intognab:developfrom
pedantic: true from marked options#592MPvHarmelen wants to merge 1 commit intognab:developfrom
