heads up: one week to 8.0.1 planned release time

[Joel Brobecker <brobecker@adacore.com>]

Hello everyone,

The 8.0.1 release is currently planned for next Monday (Sep 4th).
I took a look at the list of PRs still open, and only found one
which wasn't a regressions, so I do not consider it blocking.

I also looked at the list of PRs fixed since 8.0. It must have been
a very good release, since we only fixed 5 PRs since then!

Anything blocking that we need to be aware of?

Assuming nothing comes up, should we go ahead with the 8.0.1 release
next week, or do we want to wait a bit to see if we can find other
issues we might want to fix before 8.0.1 comes out? (personally,
I would go ahead with the 8.0.1, with the option of scheduling
8.0.2 if we end up finding something we really want for the 8.0.x
branch; otherwise, 8.1 will be a mere 3 months later).

Thanks!
-- 
Joel