]> git.lizzy.rs Git - rust.git/commitdiff
rollup merge of #19013: jakub-/issue-18986
authorJakub Bukaj <jakub@jakub.cc>
Mon, 17 Nov 2014 23:24:01 +0000 (00:24 +0100)
committerJakub Bukaj <jakub@jakub.cc>
Mon, 17 Nov 2014 23:24:01 +0000 (00:24 +0100)
Fixes #18986.


Trivial merge