Skip to content

Added a new preference category for the editor. #8861 - #8959

Merged
akshay-joshi merged 1 commit into
pgadmin-org:masterfrom
pravesh-sharma:GH-8861
Jul 28, 2025
Merged

Added a new preference category for the editor. #8861#8959
akshay-joshi merged 1 commit into
pgadmin-org:masterfrom
pravesh-sharma:GH-8861

Added a new preference category for the editor. #8861

45729d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

This job was skipped