Testing github pull request merge
Merge pull request #68 from Dovetail-Automata/gh-merge-test

Gh merge test--merging