release: 3.1.0

2 jobs for master in 55 seconds (queued for 2 seconds)