Dec. 3, 2019
9:01 p.m.
Hi All, I will be branching 1.18 this evening or tomorrow unless someone objects. There is still one last minute change to be merged. Chuck