Diff gawk-5.2.2 with a gawk-5.3.2

Thank you!