Stephen > Are you sure? I've just created a dummy account and "approval" does not make merge button magically appear.
If you have a couple of minutes, please make a PR (I'll approve it shortly) to https://github.com/vlsi/KE-complex_modifications Note: you can click "edit" button in GitHub UI for a random file, so you don't really need to clone the project. I've attached no_merge.png which is a screenshot of GitHub UI for PR author. Apparently, there's no merge button. Vladimir
--------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org