Processing commands for cont...@bugs.debian.org:
> severity 822513 normal
Bug #822513 {Done: Martin Michlmayr <t...@hpe.com>} [bochs] bochs: FTBFS: fatal
error: gtk/gtk.h: No such file or directory
Severity set to 'normal' from 'serious'
> thanks
Stopping processing here.Please contact me if you need assistance. -- 822513: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822513 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
