Merge pull request #92513 from dtzWill/update/bash-5.0p17

bash_5: 5.0p16 -> 5.0p17
This commit is contained in:
Daniël de Kok 2020-07-07 14:01:31 +02:00 committed by GitHub
commit 93f1bb0176
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -17,4 +17,5 @@ patch: [
(patch "014" "12gm5bvv2pd3m72z2ilj26pa08c61az253dsgfl24vpf2ijywvjx")
(patch "015" "0pm0px758w4i23s55wajcv6lqfiym7zgxvq0pxf6vclkv8nxy5x5")
(patch "016" "0vdha332km2iwx8g2ld15jy7d24cbplzgr1531dpzylr9ajxglgz")
(patch "017" "0cfw5lz3fcvq9h1fxihxvw940fjk68015jazvl8x8rlazgxbkwsc")
]