info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
tinderbox.mozilla.org moving to new server
0 views
Skip to first unread message
Myk Melez
Sep 23, 2003, 5:30:57 PM9/23/03
to st...@mozilla.org, dri...@mozilla.org
tinderbox.mozilla.org will be moving to a new server today. The change
should be transparent except while the DNS change propagates, during
which time you may reach the old tinderbox server after that server is
no longer being updated. If that happens, note the link at the top of
the old tinderbox page, which will direct you to the new server.
should be transparent except while the DNS change propagates, during
which time you may reach the old tinderbox server after that server is
no longer being updated. If that happens, note the link at the top of
the old tinderbox page, which will direct you to the new server.
If you find any problems with the new server, report them:
http://bugzilla.mozilla.org/enter_bug.cgi?product=mozilla.org&component=Server%20Operations
-myk
0 new messages