Niels De Graef authored Jan 08, 2021 and Jehan committed Feb 18, 2021

It isn't being used by any plug-in or any code in GIMP at all even.
Let's get rid of it while we can still break API, so we can cut down on
all the complexity of the gimp-param stuff a bit.