[PATCH] RemoveDeadBindings

[Zhongxing_Xu]

This patch moves some code in GRStateManager::RemoveDeadBindings() to EnvironmentManager::RemoveDeadBindings().
It includes the previous “missing set” patch. Should they be splitted?

-Zhongxing Xu

removedeadbindings.patch (5.03 KB)

[Ted_Kremenek]

Applied! Thanks!