gawk (1:5.2.1-2) unstable; urgency=medium * Handle a new info file in gawk-doc. (Closes: #1031203) -- Adrian Bunk <email address hidden> Sun, 19 Feb 2023 15:30:53 +0200