"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

Reply via email to