Make sure the zip file of docs extracts to the expected name
Review Request #2466 — Created June 15, 2023 and submitted
Make sure the zip file of docs extracts to the expected name
Ran locally and verified the zip file with unzip.
| Summary | ID |
|---|---|
| 163052d3dd34eb621241e76ea0595f97f4b2fbc2 |
