doc: fix commenter_options type#1926
Merged
shalevr merged 2 commits intoopen-telemetry:mainfrom Sep 3, 2023
joaothallis:docs/fix-commenter-options-doc-type
Merged
doc: fix `commenter_options` type#1926shalevr merged 2 commits intoopen-telemetry:mainfrom joaothallis:docs/fix-commenter-options-doc-type
shalevr merged 2 commits intoopen-telemetry:mainfrom
joaothallis:docs/fix-commenter-options-doc-type