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

good point, it is probably useless