Notice:
  This is the original source of GNU BASH version 1.12
  It is supplied to keep the source near the binaries. 

Uploaded by:
  Rob Hooft (hooft@chem.ruu.nl)

Author:
  Free Software Foundation