On Fri Nov 10 12:20:24 2017, muks wrote:
> This looks good except that some places use AS_HELP_STRING, and others
> use AC_HELP_STRING.
> 
> It looks like AC_HELP_STRING is deprecated and AS_HELP_STRING is its
> replacement, so please use that everywhere.

done

> Also bump up AC_PREREQ if necessary for AS_HELP_STRING.

Looks like we are already high enough.

> 		Mukund
>