changed milestone to %KIF 52,0
added bug label
The problem was further concretized in #204 (closed) (near-duplicate).
assigned to @bhaettasch
mentioned in commit dcafb769
mentioned in merge request !216 (merged)
closed with merge request !216 (merged)
closed with commit dcafb769
mentioned in commit 8dc99d1a