]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #237 from RalfJung/reallocate
authorOliver Schneider <oli-obk@users.noreply.github.com>
Tue, 11 Jul 2017 07:39:52 +0000 (09:39 +0200)
committerGitHub <noreply@github.com>
Tue, 11 Jul 2017 07:39:52 +0000 (09:39 +0200)
Update for allcator API, simplify reallocate


Trivial merge