[PATCH v2] Enable tunables by default

[Siddhesh Poyarekar]

On Saturday 17 June 2017 12:42 AM, Adhemerval Zanella wrote:
> This patch below seems to work on gawk 3.1.8.  It changes the order or the
> elements in tunable_id_t and tunable_list, but as long both order match
> I think it should work.

Thanks for fixing this.  I verified on gawk 4.1.x as well, so looks good
to me.

Siddhesh