This implements #120 (closed)
changed milestone to %KIF 50,7
requested review from @ngeisler
approved this merge request
merged
mentioned in commit 9f89e85a