Trunk demo is not updating

[Bruno Busco]

Hi,
it seems the trunk demo server is not updating.
It is still at rev. 925744 that is one week old.

-Bruno