wishlist

3 views

Skip to first unread message

Radu Grigore

unread,

Sep 20, 2010, 5:37:58 AM9/20/10

to jstar...@googlegroups.com

Is anyone using the file 'wishlist'? If yes, then it should be
migrated as github issues. (One advantage of that would be that I'd be
able to ask details about individual issues. As it is it looks mostly
unintelligible to me.)

Otherwise, I'll just remove it.

Mike Dodds

unread,

Sep 20, 2010, 5:38:39 AM9/20/10

to jstar...@googlegroups.com

I don't think so. Probably just remove it.

Radu Grigore

unread,

Sep 20, 2010, 5:49:32 AM9/20/10

to jstar...@googlegroups.com

On Mon, Sep 20, 2010 at 10:38 AM, Mike Dodds <md...@cam.ac.uk> wrote:
> I don't think so. Probably just remove it.