2 commits

Author	SHA1	Message	Date
Mislav Marohnić	beb6234f96	Speed up listing extensions by lazy-loading extension information when needed (#7493)	2023-06-14 09:33:18 +09:00
Ariel Deitcher	33e589465e	--force overrides pinned extensions (#6513)	2022-11-03 12:12:20 +01:00