[Merged by Bors] - doc: @[inherit_doc]
on notations
#9942
Closed
@[inherit_doc]
on notations
#9942