| commit | 45ea686186661e2d7021a244ba2b31ac38351062 | [log] [tgz] |
|---|---|---|
| author | Peter Newman <peternewman@users.noreply.github.com> | Sat Nov 27 00:40:08 2021 +0000 |
| committer | GitHub <noreply@github.com> | Sat Nov 27 00:40:08 2021 +0000 |
| tree | 79437ece63cb0824d7843d0e7f066ad8ed0ab49c | |
| parent | ff3835490d8cada54f88c1bbfd72afccefef1ae0 [diff] | |
| parent | 01f5c77d8423c52e1a9db13a0b507917ff3d1b7f [diff] |
Merge pull request #2160 from DimitriPapadopoulos/ERROR_sys.stderr
`print("ERROR: ...")` should print to `sys.stderr`