added BUG label
Handled by !631 (merged)
mentioned in merge request !631 (merged)
mentioned in commit 9b6f8681
closed with merge request !631 (merged)