The tinderbox machine (pullcord) is offline pending some network rearrangement. Should be back up in a few days.
-- Ivan Krstić <[EMAIL PROTECTED]> | GPG: 0x147C722D _______________________________________________ Devel mailing list [email protected] http://mailman.laptop.org/mailman/listinfo/devel
