diff options
author | Tausif Rahman <tausif.rahman@mongodb.com> | 2022-05-12 15:40:54 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-05-12 17:05:34 +0000 |
commit | 1ca9f11ad44383794b3ffe5193f088bee99a1994 (patch) | |
tree | af12e1d97a3b2c53599d9e4a981ad6645d94f569 /etc | |
parent | 1cd743c746d94603d965c828b3187852a59d991c (diff) | |
download | mongo-1ca9f11ad44383794b3ffe5193f088bee99a1994.tar.gz |
SERVER-57692 forceincludes.py: add better error handling for missing header
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions