"Alfred M. Szmidt" <[EMAIL PROTECTED]> writes: > Out of curiousity, could you add a quick comment about why the code > you disabled got disabled (vga_display_change_font)?
It is not used and only causes a warning. There are chances that this code will be used later. -- Marco _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd