20:43
<jmdyck>
is there an editors call today? Calendar says so, but you don't usually have one the week of a plenary.
20:59
<bakkot>
jmdyck: no, sorry for not removing
21:10
<jmdyck>
tx