On Tue, Jul 23, 2013 at 8:18 PM, Jeremy Bennett <[email protected]> wrote: > Could people indicate which of the following they > prefer > > Thu 25 Jul @ 5pm UK time > Thu 25 Jul @ 6pm UK time > Fri 26 Jul @ 5pm UK time > Fri 26 Jul @ 6pm UK time > Mon 29 Jul @ 5pm UK time > Mon 29 Jul @ 6pm UK time >
Any of the days 6 pm UK time (or later) works for me I think. Stefan _______________________________________________ OpenRISC mailing list [email protected] http://lists.openrisc.net/listinfo/openrisc
