diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-30 18:09:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-30 18:09:32 +0100 |
| commit | ccedda9c7126bd964186b6469f1558219436a71c (patch) | |
| tree | 7dabce891a0caf000ff81beb4916fdd95ee4c2c5 /drivers | |
| parent | 86a732b1364d7f198aa538118ce20d2972f13f7f (diff) | |
| parent | d441a6aefadda78bb0bb02552716cbede38fe662 (diff) | |
Merge pull request #34682 from Calinou/os-exit-code-nonportable-warning
Print a warning message if `OS.exit_code` is set to a non-portable value
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions