chore: update auto-generated files (#1612)

* chore: update THIRD_PARTY_NOTICES * chore: update AUTHORS * chore: update error documentation --------- Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
mongodb-js · Aug 24, 2023 · 6c75482 · 6c75482
1 parent 960f621
commit 6c75482
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/AUTHORS b/AUTHORS
@@ -30,3 +30,4 @@ Oleksandr Miroshnychenko <[email protected]>
 Bailey Pearson <[email protected]>
 Himanshu Singh <[email protected]>
 Martin Rodriguez Reboredo <[email protected]>
+Kevin Mas Ruiz <[email protected]>
diff --git a/THIRD_PARTY_NOTICES.md b/THIRD_PARTY_NOTICES.md
@@ -1,5 +1,5 @@
 The following third-party software is used by and included in **mongosh**.
-This document was automatically generated on Tue Aug 22 2023.
+This document was automatically generated on Thu Aug 24 2023.
 
 ## List of dependencies
 

diff --git a/packages/build/AUTHORS b/packages/build/AUTHORS
@@ -14,3 +14,4 @@ Nir Bar <[email protected]>
 Le Roux Bodenstein <[email protected]>
 Martin Rodriguez Reboredo <[email protected]>
 Himanshu Singh <[email protected]>
+Kevin Mas Ruiz <[email protected]>