Where is the Polish brush???

Support Basics & Interface
1

Is it me or has the Polish brush been removed?
i cannot find it in the latest release, im still working in 2.71 because this still has the Polish brush :o

2

See https://developer.blender.org/T42538

3

Ah i see, thanks!