Clebert Suconic Mon, 13 Jul 2015 09:22:14 -0700
I've talked to Infra.. it's either a temporary issue on gibhub or they have changed something on how PRs are merged.
Meanwhile we will have to close them manually after merged. This is for both Artemis and Activemq5. It seems apache/guthub wide.
