]> git.lizzy.rs Git - rust.git/commitdiff
Merge branch 'master' into fix-4514
authorMichael Wright <mikerite@lavabit.com>
Mon, 9 Sep 2019 05:36:30 +0000 (07:36 +0200)
committerMichael Wright <mikerite@lavabit.com>
Mon, 9 Sep 2019 05:36:30 +0000 (07:36 +0200)

Trivial merge