Attached is a patch to squash this bug. It's big only because it replaces 
banner.xpm with banner.ppm so that both frontends can still load the splash 
screen natively.

Ok to go in Lars?
-- 
Angus

Attachment: xpm.diff.bz2
Description: BZip2 compressed data

Reply via email to