Released version 1.12.8
Merge remote branch 'github/master'