gautierhattenberger/paparazzi — comment on commit c5589915f307a7741596407b073183c9bd0a1694
File: sw/tools/gen_periodic.ml line 42
By gautierhattenberger:

yes