diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-27 01:05:02 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-27 01:05:02 +0100 |
| commit | 9a4d02faf9c47f401b8756c3f7fcab2198f5f9cd (patch) | |
| tree | 690249f8406f074866604ffa98045e5f476e83d5 /docs/dev | |
| parent | b1a4e810a4909c36eabf6f4b746a021c2074c2c3 (diff) | |
| parent | f89722f3571bcdcd7f5e9b6d22d4d8d82dffc332 (diff) | |
Merge #5088
5088: Better exe probing r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions