diff options
| author | Sergei Nikulov <snikulov@users.noreply.github.com> | 2018-03-22 16:34:11 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-22 16:34:11 +0300 |
| commit | 6231a89aa3961e357d7eb717548463985de2d08d (patch) | |
| tree | a5a389c668ccb8dcf3c89a2e765a96fbb5490847 /docs | |
| parent | db1b2c7fe9b093f8c3d33304a47657ea4a6e65b4 (diff) | |
timeval: remove compilation warning by casting (#2417)
This is fixes #2358
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions