diff options
| author | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2017-04-18 17:56:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-18 17:56:59 +0200 |
| commit | 81f844940279140d27578fc6a5b134763ffcceb6 (patch) | |
| tree | 6299a361af87dd79ba8d2d3c45daaad1dbb0f04b /docs/make.bat | |
| parent | 63b36d641962b42b1fe71608b698b19a26656814 (diff) | |
Refs #28066 -- Fixed nondeterministic ordering test failure in sessions_tests.
Thanks Tim Graham for the review.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions