platform_ids freed before error could lead to leak.
platform_ids freed before error could lead to leak.

tdd11235813/gearshifft,tdd11235813/gearshifft,mpicbg-scicomp/gearshifft,mpicbg-scicomp/gearshifft