ignorable change in .gitignore