[ris-int] RRC12: no DB insertion since mid April?

Hi,

Asking RIS DB for more detailed info regarding 2001:440:1880::/48
I was surprised to see only two entries returned vs. the three
peers reported by RISwhois.

Comparing the results I saw rrc12/DE-CIX was the one missing out;
a further check of http://www.ris.ripe.net/cgi-bin/rrcstatus.cgi
showed there's not been any data inserted from rrc12 for almost
two months now!

Are you aware of this? is there some specific, hard to fix,
problem with the box?

-- Rene