diff options
| author |  Mehrdad Afshari <mehrdada@users.noreply.github.com> | 2018-08-22 07:40:29 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-08-22 07:40:29 -0700 |
| commit | 35cde99212ece5cde100a905f94974ffb6f18be9 (patch) | |
| tree | ebcd5014ec6ccb91b518354ee48b03f41015a824 /doc | |
| parent | 82bc60c0e13bfb00213b3a94ba72893d044e4c9a (diff) | |
| parent | 0aa1bd2ed481f12b1d6348b4bf0a19093eafc7fb (diff) | |
Merge pull request #16421 from mehrdada/stricter-api-contract-for-grpc-server
Ensure thread_pool is not None for grpc.Server
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions