FWIW, The github mirror stopped updating the source tree over 10 months ago.
Cheers, Pedro. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org