> Then let's schedule it [Checkers Framework code review] around 9.30am EDT
> (3.30pm Genrmany time). [on Monday, June 2]
Telmo, is this OK with you? If so, we'll have to move our meeting from
9:30 to 10:30. Let us know.
-Mike