On 31/12/2016 Pedro Giffuni wrote:
The github mirror stopped updating the source tree over 10 months ago.
This was a known issue, reported months ago, but (unexpectedly) Infra found the time to fix it earlier this week, so the broken Github non-mirror is now a mirror again; see https://issues.apache.org/jira/browse/INFRA-11601 for the full story.
Regards, Andrea. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org
