No matches were found for subject:"Bug#874727\: closed by Anton Gladky <gladk@debian.org> \(Bug#874727\: fixed in coin3 3.1.4\~abc9f50\+dfsg2\-1\)"