> Also, standard.ads.h is a valid file, so the reference shouldn't be removed. > > I'll add it to the repository, this was an oversight, thanks for noticing.
I've added it now.
2019-05-08 Arnaud Charlet <char...@adacore.com>
* standard.ads.h: New file.
