Change version number to 1.3.1

2 jobs for v1.3.1 in 6 minutes and 37 seconds (queued for 7 minutes and 22 seconds)
latest
Status Job ID Name Coverage
  Test
passed #2035
clippy

00:03:13

passed #2034
test

00:03:24