Processing commands for [email protected]: > submitter 811860 Martin Michlmayr <[email protected]> Bug #811860 [mcrl2] mcrl2: FTBFS with GCC 6: no matching function for call to Changed Bug submitter to 'Martin Michlmayr <[email protected]>' from 'Martin Michlmayr <[email protected]>'. > -- 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 [email protected] with problems
