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

testing gh merge--remove foo
testing github merge; add foo