13 Nov
2007
13 Nov
'07
9:20 p.m.
On Tue, Nov 13, 2007 at 11:11:29AM -0300, Jorge Arellano Cid wrote:
Hi,
[gzip decoder]
On Mon, Nov 12, 2007 at 02:52:43PM +0000, place wrote:
Hmm, how unfortunate. It had been working just fine for me, though I took it out yesterday so that I could have a clean tree... I wonder whether we're constantly going to see timing problems or something, where the people with fast machines write things that work on fast machines and the person with a slow machine will write things that work on a slow machine.
Good news! Committed.
Is decode.h perhaps missing in cvs? cheers, Johannes