Yes, of course. "Craig Furman (Pivotal)" is in the credits. I also added Akihiro Suda (for suggesting him that it was a newgidmap bug) and myself (for working on a fix for it), but if Craig prefers I can just make him the only credit. On Thu, Feb 15, 2018 at 11:00 PM, Christian Brauner