whups, have to implement this elsewhere, too :)
Merge branch '1.12'
Merge branch 'master' into pull-requests