Made grammatical corrections in the Programming APIs
--> Extraction
section of the User Guide.#596
Merged
miurahr merged 2 commits intomiurahr:master from github-user-en:patch-1Aug 5, 2024
+3-3