Re: [Cin] Today's GIT repository checkins + Ubuntu16 and Mint 18 test builds