parted bug/enhancement

So imagine, you want to edit the root partition of your server (to enlarge it), and you suddenly could not do that anymore with your favourite tool parted. Today I was confronted with this error on a SUSE Linux Enterprise Server 12 (SLES12SP5) machine using parted 3.1 :

Error: Partition /dev/sda2 is being used. You must unmount it before you modify it with Parted.

What fresh hell is this?

Maybe it is an “enhancement”? Perhaps to prevent someone to not accidentally trash their server? For me it is a regression. I know exactly what I want to do and I’m now prohibited in doing so. Unfortunately I could not find a “force” option or the such to force parted to do my bidding :-(

Luckily the good old fdisk still has my back, since that just works

P.S. This issue is fixed in parted v3.2 (in parted.c)