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]
