18a89931a9
Using the getter function intended for external code here makes an unnecessary copy of the already-accessible used_shaders vector.