Skip to content

Add option to rename partitions in partition manager. - #433

Merged
bmorcelli merged 1 commit into
bmorcelli:mainfrom
richrd:feat/rename-partitions
Sep 14, 2026
Merged

bmorcelli merged 1 commit into
bmorcelli:mainfrom
richrd:feat/rename-partitions

Commits

  1. Commits on Sep 13, 2026