diff options
| author | Kevin Laeufer | 2020-06-11 11:26:59 -0700 |
|---|---|---|
| committer | GitHub | 2020-06-11 18:26:59 +0000 |
| commit | 932c7c30ee0105574354a731ce60975c056d658b (patch) | |
| tree | 362ab07afd748e3d878f4cfed1e5be6c2ca23a4b /scripts | |
| parent | 1e497ce39fd161c681ee64c0a4a882859eb8850b (diff) | |
Compiler: demote compile time to info instead of error (#1685)
This message informs the user, it does not indicate
a failure.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions