Dmitry V. Levin
71fb134da6
* debian/control (Build-Depends): Add gawk. Patch by Reiner Herrmann <reiner@reiner-h.de>. This fixes Debian bug #780992.