On Dec 21, 2012, at 9:09 AM, Michael Zoon wrote: > Hi, > I did update the make and distinfo file for a upgrade of bash 4.2.37 to > 4.2.39 > It is attached in this message. Could you please submit a PR for this and CC the maintainer? Thanks, -Garrett