[Tobago] Preparation for the releases 5.7.2

[Henning Nöth]

Hi, folks,

we plan to build the version 5.7.2 of Tobago soon.

If you know any blocking problems with the current SNAPSHOT, give me a hint.

Regards,
Henning