Follow-up Comment #4, task #14106 (project administration): Hey,
Sorry about that, I'm not very familiar with font licenses. I have decided on gnu freefont as a replacement (https://www.gnu.org/software/freefont/index.html) Is there anything else I should do? Thanks for your help, Jochem _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/task/?14106> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
