gnomeweb-wml not processed for two weeks

[Morten Welinder <mortenw gnome org>]

Updates to the gnomeweb-wml module are supposed to lead to changes on
(say) projects.gnome.org.  This is not currently happening and has not
been happening for two weeks:

$ cd ~gnomeweb/logs
$ ls -lart | tail -5
drwxrwxr-x 30 gnomeweb gnomeweb    4096 Jun 23 21:35 ..
-rw-r--r--  1 gnomeweb gnomeweb 1176038 Jun 25 11:25 gnomeweb-wml.out
-rw-r--r--  1 gnomeweb gnomeweb      47 Jul  6 23:45 planet-web.out
-rw-r--r--  1 gnomeweb gnomeweb 1829670 Jul  7 11:27 library-web.out
drwxrwxr-x  2 gnomeweb gnomeweb    8192 Jul  7 11:27 .

Note, that library-web.out _is_ updating.

Please have a look.

Thanks,

Morten