Hi Steve,
I tested package 4.8.4-2ubuntu1~14.04.1, pretty printers work fine, so the fix looks good to me.
Hi Steve,
I tested package 4.8.4-2ubuntu1~ 14.04.1, pretty printers work fine, so the fix looks good to me.