Merge branch 'release/1.0.12' into develop
Merge branch 'hotfix/fixing_history_substring_search' into develop
Bumps version to 1.0.13
Merge branch 'release/1.0.13'