dybr

 Not much. Approved Bill's fix for his bug; he, as a returned favor, appoved my PR with updates made by his suggestion. Had a "standup" which was really a comedy - we discuss Castellano (Spanish accent in Spanish), then we discussed "y'all" that Esteban likes to use, and the other American accent; I posted the "eleven" sketch, so you can imagine.

Since I came home from a walk 2 minutes before the meeting, I did not have a chance to label my other PR as "blocked"; Mike did it.

Spent the rest of the day clicking 'space' from time to time and checking if anybody posts any updates. None. That merged really small PR, it's been building for more than 3 hours, so I though, there will be Monday (inshallah).

That was it for today. I'm really bored at my work, but I must appreciate it. Because my head is occupied with one failing test, presheaves over Z3 (duh, I know the topos is Boolean).