Merge branch 'release/0.11.0'
Merge branch 'release/0.12.0'
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.