Re: [PATCH] Add config/ar-lib to .gitignore