On 24. Oct 2019, at 19:19, Marshall Schor <[email protected]> wrote: > > I think I didn't ever merge your changes, but rather looked at them and then > did > a copy of them (with some further modifications) into a different branch. > (Before I knew about how to do pull requests).
Well, at least GitHub *thinks* you merged the PRs: https://github.com/apache/uima-uimaj/pull/11 -> merged https://github.com/apache/uima-uimaj/pull/12 -> merged -- Richard
