Subject: [FEniCS-dev] Reboot of fenics.org

From: "Åsmund Ødegård" <[email-masked]>
Date: Mon, 28 Apr 2008 15:02:03 +0200

FYI:

The fenics.org server will be rebooted today at 15:30, GMT+1.

best,
Åsmund Ødegård