On Mon, 25 Apr 2016, Lisandro Dalcin wrote:

"git diff maint..master" was showing some flops logging commits from Jed that are not yet in maint, and that IMHO should go to release.

merged to maint thanks, Satish