merge #397, #398, #399 ?

Ok, #397 has no outstanding "requested changes" and all comments have 
been accepted & incorporated. Who's our merge-do-er?

#398 and #399 are awaiting @leshi aka Alexei to "approve changes" (hint 
hint)...

=JeffH

Received on Friday, 14 April 2017 21:20:55 UTC