[gps-users] Missing gprmake File in Latest GPS 2.1.0w Snapshot

[Arnaud Charlet]

> As of today the glitch remains still.

Could you retry ? I believe there was no build on the day you tried, and
that you didn't actually get a binary with the right date.

Arno