grub2 changes: use ascii.pf2 as grub2 font; support terminal_output command

[grml2usb.git] / debian / compat

diff --git a/debian/compat b/debian/compat
index b8626c4..7ed6ff8 100644 (file)
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-4
+5