On Tue, Aug 6, 2013 at 8:29 AM, Sean Mackrory <[EMAIL PROTECTED]> wrote:
> No objection from me - although like Bruno, I don't see why we should
> delete the branch. Even if we have no intention of focussing further
> work on that line, it might be nice to keep it around for anyone who
> may want to build some stuff from it.
Same here. +1 to cleaning up the JIRA and as for the branch -- we can
just let it linger I suppose.