The fix did not work on debian. I pushed a different fix.

> Am 09.07.2022 um 17:39 schrieb Ben Pfaff <b...@cs.stanford.edu>:
>
> I think I fixed this. I started a build.
>


Reply via email to