Merge pull request #131734 from Stunkymonkey/gawk-pname-version
gawk: replace name with pname&version
authored by Sandro and committed by GitHub 4 years ago 5f68a745 c09b6109