Rename gmap_view_persist into gmap_view_frag_persist

2 jobs for !745 with ghost-map-persist-auth in 9 minutes and 21 seconds (queued for 4 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.12.2 #152622
fp

00:09:20

passed build-coq.dev #152621
fp

00:08:48