Unsubscribed?

Apologies if that repository problem was already mentioned... for some reason I
was no longer subscribed to this list.

Taral