It's an original feature, but it's not systematic as you can have notched on the treble side, notched on bass side, notched on both sides, and not notched at all tuners.
Furthermore, these types of tuners can be mixed.
The interesting thing is that, thanks to these notched tuners, you can narrow the dating to the pre-CBS era, if they are squared notched tuners.