Dennis update to master tip
Merge pull request #412 from willkg/dennis-update

Dennis update to master tip