fix gitignore
Merge branch '1.4+'