13 Jul
2023
13 Jul
'23
1:30 a.m.
Jake I can help with this, though I don’t exactly know *when*. Most
everything in my life is being pushed to “after burning man” right now.
Feel free to text me tho.
On Thu, Jul 6, 2023 at 8:37 PM Yardena Cohen via sudo-discuss <
sudo-discuss(a)sudoroom.org> wrote:
This idea has
already been run through the omni building group and after
an
initial freakout of "omg drill a hole in the
roof!?!?" people realized
that
the roof has several drains in it already and
that's how you remove
water from
it. There are not objections from that group
anymore.
This is an uncharitable summary, but true enough. I initially pushed
back on this plan, but I now accept that it's a good idea and am
grateful to Jake for the initiative and labor.
_______________________________________________
sudo-discuss mailing list -- sudo-discuss(a)sudoroom.org
To unsubscribe send an email to sudo-discuss-leave(a)sudoroom.org
More options at
https://sudoroom.org/lists/postorius/lists/sudo-discuss.sudoroom.org/