Great! Love to see it running on tip again... Thanks
On 9 Aug., 07:55, Lennard de Rijk <[email protected]> wrote: > On Mon, Aug 9, 2010 at 3:41 PM, Anthony Baxter <[email protected]>wrote: > > > One-line fix, caused by an API change between Jetty 7.0 and Jetty 7.1. > > > That sound you hear is my head hitting my desk, repeatedly. > > Medic! Damn nice one. > > Greetings, > Lennard -- You received this message because you are subscribed to the Google Groups "Wave Protocol" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/wave-protocol?hl=en.
