Adding some context: bug #820856 was marked fixed in bash-4.3-15, but that version doesn't appear in /usr/share/doc/bash/changelog.Debian.gz for current versions: it skips straight from 4.3-14 to 4.4~beta-1. I presume the -15 release came from some kind of maintenance branch, and the change wasn't merged onto the master branch.
