Re: Pingus font found!!!

[Gervase Lam]

> Date: Wed, 30 Jul 2003 23:51:29 +0200
> From: Ingo Ruhnke <address@hidden>
> Subject: Re: Pingus font found!!!

> I just wrote a mail to the author asking him if he could make the font
> available under GPL and some other stuff, so we can now simply wait
> for his answer and don't have to speculate about licensing terms.

> Date: 30 Jul 2003 22:11:06 +0200
> From: David Philippi <address@hidden>
> Subject: Re: Pingus font found!!!

> I don't know why everyone asks those questions on the list, so I just
> did the obvious and contacted the author of the font. I'll let the list
> know when I get an answer.

David, you asked me whether I had e-mailed the author of the font.  Well, 
I decided to ask a few questions here first before contacting him, as you 
"requested."

After reading the e-mails, it seemed as if we were not heading anywhere 
quickly.  So, I decided I was going to contact him early next week.

So, thanks to the both of you.  You have both relieved me of the 
responsibility!  Well, at least the e-mails woke up the list.

I am now going to have a quick look to see if the "music continues after 
exiting Pingus" bug is reproducible on my system.  I might be able to find 
out what is causing it before I go to bed.  Hmmm.  Very likely...

Thanks,
Gervase.