Ignore local.mk [ci skip]
Version 0.10.0. Merge branch 'release/0.10.0'
Merge branch 'master' of https://github.com/mangalam-research/salve
Merge branch 'master' of https://github.com/mangalam-research/salve
Merge branch 'master' of https://github.com/mangalam-research/salve
Minor doc fix.
Bugfix: salve would crash and burn if an unclosed tag had a walker active at the time of closing.
Minor doc fix.
Bugfix: salve would crash and burn if an unclosed tag had a walker active at the time of closing.
Merge branch 'develop' of https://github.com/lddubeau/salve into develop
Merge pull request #7 from lddubeau/develop

Merge bugfix.
Version bump.
Merge branch 'release/0.12.2'