[GRASS5] Releasing GRASS 5.0.0final?

[Markus Neteler]

Hi all,

suprisingly it is very silent here since a few days... summertime?
Although there are a few (known) bugs, I feel it is time to
release GRASS 5.0.0final and to start with 5.1.0 then.

Too much important changes are waiting and I don't expect that
we get 5.0.0 fully bug free.

If there are no objections, I will tag 5.0.0final the next days.

Markus