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

Gh merge test--merging
testing gh merge