Processing commands for [email protected]: > # a simple, genuine bug > severity 493523 minor Bug #493523 [make] make: /usr/local/include is wrong priority in default include_dirs Severity set to 'minor' from 'wishlist'
> tags 493523 + upstream Bug #493523 [make] make: /usr/local/include is wrong priority in default include_dirs Added tag(s) upstream. > forwarded 493523 [email protected] Bug #493523 [make] make: /usr/local/include is wrong priority in default include_dirs Set Bug forwarded-to-address to '[email protected]'. > End of message, stopping processing here. Please contact me if you need assistance. -- 493523: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=493523 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
