]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1292 - RalfJung:time, r=RalfJung
authorbors <bors@rust-lang.org>
Wed, 1 Apr 2020 18:34:59 +0000 (18:34 +0000)
committerbors <bors@rust-lang.org>
Wed, 1 Apr 2020 18:34:59 +0000 (18:34 +0000)
commit77a307fe7dddb81f8857144a7dd7362751508090
treef4e83521a8ce092a9e241b9cfc6aa426f74049da
parent6536f3165e5cd14e71bdb8f33bdc6308ab0cde85
parent41d90709f25b813c33943102b0d28329de1aaf73
Auto merge of #1292 - RalfJung:time, r=RalfJung

sanity check time values a bit more