glinf 1.0 is released

2020-01-29

The glinf utility is complete and stable, and has been for some time, so now version 1.0 is available.