[Mono-dev] Build is stuck?

[Thomas Strecker]

Hello,
I'm not sure who to contact, so I'll try this way.
The debian-31-arm build
(http://mono.ximian.com/monobuild/python/monobuild.py) is stuck for a
long time now, it seems (Still building rev. 1.2.69237, while the others
are almost a thousand revisions ahead). It's build log didn't change in
like forever and the monitor says (build  inprogress  [ Running for
32615 min(s) ]).
Since I am especially interested in the arm(el) builds, I would like to
see that fixed, if possible.
Thank You!
	ciao Thomas