Merge branch 'origin/devel'
Merge branch 'origin/devel'
Merge branch 'origin/devel'
* make ignore pattern case-insensitive by default
Merge branch 'origin/v4.1'