Groups
Sign in
Groups
mozilla.dev.servo
Conversations
About
Send feedback
Help
info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Learn more
Tree is closed
31 views
Skip to first unread message
Josh Bowman-Matthews
unread,
Nov 15, 2019, 11:25:39 PM
11/15/19
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to dev-...@lists.mozilla.org
I have closed the tree because mac3 is not in a usable state
(
https://github.com/servo/servo/issues/24755
) and my attempts to follow
the instructions in
https://github.com/servo/taskcluster-config/
to
disable it have not succeeded. The tree will remain closed until mac3
can either be removed from the pool of workers or repaired.
Cheers,
Josh
0 new messages