Merge branch 'fresh_locs_arg' into 'master'

Get rid of a superflous argument to `fresh_locs`.

See merge request !288
6 jobs for master in 14 minutes and 8 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.dev #36566
fp

00:12:48

passed build-coq.8.7.2 #36570
fp

00:05:52

passed build-coq.8.8.2 #36569
fp

00:06:35

passed build-coq.8.9.0 #36568
fp-timing

00:05:48

passed build-coq.8.9.1 #36567
fp

00:07:04

passed build-coq.dev #36565
fp

00:14:08