Fixes #54 (closed)
changed milestone to %KIF 48,0
added 2 commits
master
Compare with previous version
approved this merge request
mentioned in commit 3cdaa8a3
merged