On Tue, Aug 20, 2002 at 11:56:05AM +0200, Michael Herz wrote: > just a quick hint, cause I couldn't believe it. Your banners on > http://www.debian.org/banners/ are in .gif format??? > > Shouldn't we quickly change it to png? As far as we know, our GIFs aren't subject to any of those patent claims. -- 2. That which causes joy or happiness.