Re: [OS-BUILD PATCH] .gitignore: fix previous mismerge with "HEAD line"