Is 17:00 a good time, or should we make it 18:00?
18:00 suits me better, but it's not a big deal. M.D. _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
Is 17:00 a good time, or should we make it 18:00?
18:00 suits me better, but it's not a big deal. M.D. _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel