History bash-4.2-coverity.patch