Merge branch 'release/0.12.0' into develop
Merge branch 'develop' of https://github.com/mangalam-research/salve into develop
Check the whole array of errors!
Fixed a bug where the value 'false' could appear in error values.
Merge pull request #4 from lddubeau/develop

Bug fix.
Version bump.
Merge branch 'release/0.12.1'