Processing commands for control@bugs.debian.org:
> severity 822513 normal
Bug #822513 {Done: Martin Michlmayr <tbm@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 owner@bugs.debian.org with problems