Thanks.
Also, source.squeak.org is also up again.
Best regards -Tobias
On 28.06.2017, at 15:27, David T. Lewis lewis@mail.msen.com wrote:
Confirming - dan.box.squeak.org/squeaksource.com looks good.
Thanks, Dave
On Wed, Jun 28, 2017 at 11:56:31AM +0200, Tobias Pape wrote:
Hi all,
Reboot done. All services (EXCEPT source.squeak.org) up. bert, chris, bruce, david timf, please confirm I did not miss a thing.
(source.squeak.org is still starting currently)
Best regards -Tobias
On 23.06.2017, at 10:24, Tobias Pape Das.Linux@gmx.de wrote:
Hi all,
we got kernel security upgrades for all boxen, hence restarts are required. Please give me your ok. Indicated people, please give me the special ok for the box where you maintain/installed services:
ian ssh tobias [x] alan web tobias [x] bert [ ] adele mail tobias [x] bert [ ] andreas source.sqeak.o chris [ ] dan squeaksource.c david [ ] ted swiki/map chris [ ] david planet bruce [ ] scott mantis tobias [x] tim f [ ]
Please reply until monday the latest.
Best regards -Tobias
PS: sorry for the instructive tone. I want to do the admin stuff in the most efficient way I can with the least communication necessary. I hope you understand.