This function was used exactly once and it's simpler and more clear to just inline it into Free() where it was called. No real changes, this is just a small simplification.