Considering that AOO is now, itself, under gitbox, should we also move devtools 
as well over there as well?
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to