Closed GoogleCodeExporter closed 9 years ago
Agreed,
I'll leave a couple of days for people to say if they want to keep this branch
and then, I'll delete it.
Original comment by sebastie...@gmail.com
on 10 May 2012 at 7:49
I haven't heard any objections so as far as I am concerned we can delete the
branch and close the issue.
Original comment by orbeckst
on 18 May 2012 at 9:05
Thanks for reminding me, I forgot to do it.
This is done
Original comment by sebastie...@gmail.com
on 19 May 2012 at 7:37
Original issue reported on code.google.com by
orbeckst
on 9 May 2012 at 7:16