OK. Hopefully this time I'll remember to watch my own JIRA so that I don't ignore Uwe.
On Tue, Jan 7, 2014 at 3:24 PM, Robert Muir <[email protected]> wrote: > I think 1 or 3 is best. > > The downside of 2 is just the confusion, since the other doc was good, > i dont think we have to reopen it. > > i cant imagine anyone worried about having too many jiras with > documentation fixes! > > On Tue, Jan 7, 2014 at 3:21 PM, Benson Margulies <[email protected]> > wrote: >> Further adventures in token streams have motivated me to play tech >> writer some more. >> >> Options: >> >> 1. just create github pull requests. >> 2. reopen prior jira >> 3. make new jira >> >> preference? >> >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: [email protected] >> For additional commands, e-mail: [email protected] >> > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
