On Mon, 9 Oct 2017 16:13:42 -0600 Michael Sartain <[email protected]> wrote:
> Ping? Were there any concerns with these or things needed to be > done before they could be merged? > Thanks for the ping, this fell back in the todo list of my emails. I'll look at it this week. -- Steve

