Release 2.71.8

Chore

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