Merge branch…

Merge branch '7653-newly-opened-shelf-removed-from-local-storage-when-loading-shelfs-page' into 'migration-v12'

to avoid unwanted deletion of local storage (by false detection of changed local…

See merge request !281
2 jobs from migration-v12 in 0 seconds (queued for 114 minutes 3 seconds)
Status Job ID Name Coverage
  Test
failed #8333
lint:js

failed #8334
unit:django

 
No job trace
Test lint:js
No job trace