tree d4443d264d0e37a270634634ab714eeb7c773a45
parent 7bc26cd4d527db93c9b83a63cb47769c7133506c
parent 0cc223789e415bd000e9f1113eb3a21260593881
author Muroi Yoshitomo <yoshitomo0912@users.noreply.github.com> 1389653826 -0800
committer Muroi Yoshitomo <yoshitomo0912@users.noreply.github.com> 1389653826 -0800

Merge pull request #24 from y-higuchi/RAMCloud-yoshi

Prep to backport