>   I think your push is still trickling into the
> servers. I pulled 804 deltas a couple of hours ago assuming that was the complete patch
> set, but I just checked again and there is another 38 deltas in this pull. I don't
> know how long a patch set takes to find its final place of rest, but I guess I'll
> give it another pull in the morning to make sure.

I don't know either. This was a large push --- massive. Almost every module was affected.

I finished pushing the XDG patch set this afternoon. I pushed a few other patches thereafter. Some involved the user guide, which also included respective tde-i18n updates.

I'm rebuilding a full set of packages again as I write. I have a long way to go and I'll let everything finish during the night.

Darrell