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
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