codacus's picture
Merge branch 'minor-bugfix' into bugfix-for-stable
8110c69