new version of gawk (3.1.6) released.

Submitted on 28 November 2007 at 19:33