On 08/14/20 09:49, Chapman Flack wrote:
> I'll then rebase intermodule-javadoc over that and redo the pull request.
>
> *Then* you can merge that and do a PR onto tada/pljava:master.
Hi Kartik,
I've opened a new pull request onto your plugin branch. After merging
that, I think it will be ready to PR onto tada/pljava:master (using
a branch name that follows the contribution guidelines).
Regards,
-Chap