Processing commands for [email protected]: > notfound 1007149 5.0.3-1 Bug #1007149 [texmaker] texmaker 5.1.2+dfsg-1 has file that is also in texmaker-data No longer marked as found in versions texmaker/5.0.3-1. > found 1007149 5.1.2+dfsg-1 Bug #1007149 [texmaker] texmaker 5.1.2+dfsg-1 has file that is also in texmaker-data Marked as found in versions texmaker/5.1.2+dfsg-1. > severity 1007149 serious Bug #1007149 [texmaker] texmaker 5.1.2+dfsg-1 has file that is also in texmaker-data Severity set to 'serious' from 'important' > user [email protected] Setting user to [email protected] (was [email protected]). > usertags 1007149 piuparts There were no usertags set. Usertags are now: piuparts. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1007149: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1007149 Debian Bug Tracking System Contact [email protected] with problems
