Merge branch 'release-1.12.2' into develop
Fix the labels
Make seeAlso relation transitive
Add solves relationship
Add English labels for E1226
Merge branch 'release-1.12.3' into develop
Bump to 1.12.3 version; enhance the project description in README
Merge branch 'release-1.12.3'