]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #353 from king6cong/master
authorOliver Schneider <oli-obk@users.noreply.github.com>
Sat, 30 Sep 2017 08:46:01 +0000 (10:46 +0200)
committerGitHub <noreply@github.com>
Sat, 30 Sep 2017 08:46:01 +0000 (10:46 +0200)
update trans_fulfill_obligation call signature


Trivial merge