ftp.de.debian: Archive_in_progress - still?

[Rainer Clasen <bj@ncc.cicely.de>]

Hi!

Hmm, according to /debian/Archive_Maintenance_In_Progress ftp.de.debian.org
update is "starting at 13:52 US Central time, and ending at about 15:30."

That's 19:52-21:30 CET, isn't it? Currently it's 0:50 CET and this file
still exists. 

Is Archive_Maintenance_In_Progress incorrect, is the update still in
progress or did ftp.de.debian.org miss to delete this file?

please keep me CC:'ed

Rainer


-- 
KeyID=58341901 fingerprint=A5 57 04 B3 69 88 A1 FB  78 1D B5 64 E0 BF 72 EB