[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] SERVER REBOOT NOW.



Robin, I have only a very vague impression of all the tech work you do for this list and Lojban in general, but I am really glad you do it. Thanks. 

stevo

On Wed, Jul 4, 2018 at 11:33 PM, Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:
That took quite a bit longer than I expected; I'll take notes
that'll hopefully make it better next time.

Should all be done now.

On Wed, Jul 04, 2018 at 10:27:33AM -0700, Robin Lee Powell wrote:
>
> SHUTTING DOWN ALL lojban.org SERVERS for semi-annual disk
> replacement.
>
> Sorry for the lack of warning; it's hard to schedule this sort of
> thing in my life.
>
> I anticipate the whole process taking a couple of hours.
>
> --
> You received this message because you are subscribed to the Google Groups "lojban" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
> To post to this group, send email to lojban@googlegroups.com.
> Visit this group at https://groups.google.com/group/lojban.
> For more options, visit https://groups.google.com/d/optout.
>

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.