opentk/opentk — pull request #179 by thefiddler (2014-09-11 10:35:33+00:00)
Title: [ES][GL] Fix GetObjectLabel marked obsolete

Fixes issue #152