Will take a single day off, most likely
Added 2021-07-24 12:42:38 +0000 UTCI'll take the day off on August 3rd, even though I have no idea if I really need to.
For the ones wondering, this is just to spend a day with friends irl but as you might expect it's chaotic to organize a day where everyone can meet. I haven't thought of taking a proper summer vacation yet, I'll do my best to communicate any eventual "vacation week" in advance.