On Wed, Mar 19, 2014 at 12:48 PM, Marc A. Pelletier marc@uberbox.orgwrote:
That was "fun".
Hello, everyone. The hard part of the migration is over for all but two tools[1].
And "erwin85":
magnus@tools-login:~$ become erwin85 sudo: sorry, a password is required to run sudo