]> git.lizzy.rs Git - rust.git/commitdiff
Merge remote-tracking branch 'origin/master' into function_pointers2
authorOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Mon, 13 Jun 2016 09:26:25 +0000 (11:26 +0200)
committerOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Mon, 13 Jun 2016 09:26:25 +0000 (11:26 +0200)

Trivial merge