[darcs-users] Merging darcs-devel and darcs-users into a single mailing list

hoijarvi hoijarvi at me.wustl.edu
Wed Apr 23 11:33:42 UTC 2008

Previous message: [darcs-users] fromJust error in darcs-2.0.0
Next message: [darcs-users] considering deletion of this list
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I'm pro merging.

Kari

Previous message: [darcs-users] fromJust error in darcs-2.0.0
Next message: [darcs-users] considering deletion of this list
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the darcs-users mailing list