fixed issue #206 in the pretext version#209

Merged

bnmnetp merged 1 commit intoRunestoneInteractive:masterfrom moisedk:issue206

Jul 1, 2022

+1-1

Commits on Jun 28, 2022

fixed issue #206 in the pretext version
moisedk
committed