Re: [JIRA] Editing comments

2017-07-14 Thread Remko Popma
Reopen the issue. Once the issue is closed, you can only add comments, not edit them. (Shameless plug) Every java main() method deserves http://picocli.info > On Jul 15, 2017, at 4:31, Gary Gregory wrote: > > Hi All, > > What do we have to do to allow us to EDIT comments? > > Gary > Typo Ma

[JIRA] Editing comments

2017-07-14 Thread Gary Gregory
Hi All, What do we have to do to allow us to EDIT comments? Gary Typo Master Level 2.