localNotificationDismissedByUser for iOS

Hi, according to the docs:

/** For iOS10 and Android, this can be also called when a user dismissed the notification before
responding to it.
*/
virtual void localNotificationDismissedByUser (const Notification& notification) { ignoreUnused (notification); }

However, this is never called from juce_ios_PushNotifications.cpp - is this a documentation error or a bug?

Thx