naddy b934114ee6 Update to 5.1. Lots of changes, but nothing really changed. ...

Release announcement:
https://lists.gnu.org/archive/html/bug-bash/2020-12/msg00002.html

2020-12-08 20:45:15 +00:00

..

patches

Update to 5.1. Lots of changes, but nothing really changed.

2020-12-08 20:45:15 +00:00

pkg

Update to 5.1. Lots of changes, but nothing really changed.

2020-12-08 20:45:15 +00:00

distinfo

Update to 5.1. Lots of changes, but nothing really changed.

2020-12-08 20:45:15 +00:00

Makefile

Update to 5.1. Lots of changes, but nothing really changed.

2020-12-08 20:45:15 +00:00