added bug occbin labels
assigned to @JohannesPfeifer
mentioned in merge request !2013 (merged)
closed with commit 35c30dc0
mentioned in commit 4d39f4a3
mentioned in commit 35c30dc0