Skip to content
GitLab
2.71.8
erwan's avatar
erwan
@jahier
1cf9c4c2 · Chore: lib/polka/vector.ml was generated both by lib/polka/ and lutin.opam ·
Release 2.71.8 
Release 2.71.8

Chore

  • lib/polka/vector.ml was generated both by lib/polka/ and lutin.opam (1cf9c4c)