On 11/18/2013 07:58 PM, Krishna Raman wrote: > I have also set up a doodle poll > at http://doodle.com/w7y5qcdvq9i36757 to gather a times when a majority > of us are available to discuss on IRC. What time zone are these times in? -- Russell Bryant