Merge branch 'main' into usermanagerpull

2023-01-29 23:47:00 +00:00
parent 0668fd79b6 aefbced978
commit 817dd4083f
8 changed files with 63 additions and 62 deletions
@@ -477,6 +477,7 @@
        inProgress: false
      }))
      this.filteredExtensions = this.extensions.concat([])
+      this.handleTabChanged('featured')
    },
    mixins: [windowMixin]
  })