Fix div_duration() marked as stable by mistake#64815
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 28, 2019
JMS55:patch-1
Merged
Fix div_duration() marked as stable by mistake#64815bors merged 1 commit intorust-lang:masterfrom JMS55:patch-1
bors merged 1 commit intorust-lang:masterfrom
JMS55:patch-1
