2017-10-19         Arnold D. Robbins     <arnold@skeeve.com>

	* 4.2.0: Release tar ball made.

2017-10-17         Arnold D. Robbins     <arnold@skeeve.com>

	* gawktexi.in (EDITION): Update to 4.2. Also, remove all visible
	references to http://awk.info; that site no longer exists.  

2017-10-17         Antonio Giovanni Colombo   <azc100@gmail.com>

	* gawktexi.in: Italian translation updated.

2017-10-12         Antonio Giovanni Colombo   <azc100@gmail.com>

	* gawktexi.in: Italian translation updated.

2017-10-08         Antonio Giovanni Colombo   <azc100@gmail.com>

	* gawktexi.in: Italian translation updated.

2017-10-01         Antonio Giovanni Colombo   <azc100@gmail.com>

	* gawktexi.in: Italian translation updated.

2017-04-12         Arnold D. Robbins     <arnold@skeeve.com>

	* ChangeLog: created.

	Italian translation of "The Gawk Manual", contributed
	by Antonio Giovanni Colombo <azc100@gmail.com>
	and Marco Curreli <marcocurreli@tiscali.it>.
