]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #10273 from yonghengdexin735/wip-zzz-pip-delete-no_casting_required
authorGregory Farnum <greg@gregs42.com>
Thu, 28 Jul 2016 16:17:38 +0000 (09:17 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Jul 2016 16:17:38 +0000 (09:17 -0700)
msg/simple/Pipe: eliminating casts for the comparing of len and recv_max_prefetch

Reviewed-by: Greg Farnum <gfarnum@redhat.com>

Trivial merge