interesting...
On 10/24/2019 1:47 PM, Richard Eckart de Castilho wrote: > 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
