Gnome Partition Editor is known as "Partition Editor" - you said Partition Manager in the report, but the diff looks right to me. Thanks for the report and the patch!
Gnome Partition Editor is known as "Partition Editor" - you said Partition Manager in the report, but the diff looks right to me. Thanks for the report and the patch!