Processing commands for cont...@bugs.debian.org: > submitter 811860 Martin Michlmayr <t...@cyrius.com> Bug #811860 [mcrl2] mcrl2: FTBFS with GCC 6: no matching function for call to Changed Bug submitter to 'Martin Michlmayr <t...@cyrius.com>' from 'Martin Michlmayr <t...@hpe.com>'. > -- Stopping processing here.
Please contact me if you need assistance. -- 811860: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=811860 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
