Closed arademaker closed 3 years ago
@dan-zeman sorry for the mistakes with the branches. Hoppe that now everything is right. The issue-3 branch is based on dev
and this PR is to merge into dev
.
one extra commit to solve #2 too.
@dan-zeman I will wait you merge this PR, or confirm that I can make it myself, before solving the remaining issue #1
Can I accept it now?
Looks good to me now :-)
... but it looks like I overlooked a text mismatch error :-( Too bad that we cannot run the validator on pull requests before merging them.
Fixed in 5191c52173d00b9d6cebf211dd66ab3e72247ad9
this solves issue #3