new mailing list

Adrian Thurston thurs... at
Tue Oct 7 04:59:56 UTC 2008

Hi Everyone,

As many of you have noticed Ragel has a new home at:

This is a new machine for me and I can put anything I want on it, 
including mailing lists. A number of people have expressed an interest 
in a mailing list that is 'independent' and so it is time to move the 
list to this new server. The web home of the new list is at:

I have not subscribed anyone to this list.


More information about the ragel-users mailing list