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