do_history no longer calls do_edit#795

Merged

tleonhardt merged 2 commits intomasterfrom

Oct 31, 2019

Commits on Oct 30, 2019

do_history no longer calls do_edit since edit is a command that is commonly overridden
kmvanbrunt
committed

Commits on Oct 31, 2019

Merge branch 'master' into history_edit
tleonhardt
authored