A-ha. I'll try to clean them up and ask for new JIRAs to be created in some cases.
On Fri, Jan 13, 2017 at 4:15 PM Shivaram Venkataraman < shiva...@eecs.berkeley.edu> wrote: > FWIW there is an option to Delete the issue (in More -> Delete). > > Shivaram > >
