Revision 87128bd5c567a454202993b227ee0ab1db570fde authored by Aaron Gao on 10 July 2017, 23:56:50 UTC, committed by Facebook Github Bot on 11 July 2017, 00:17:31 UTC
Summary: delete the checkout line Closes https://github.com/facebook/rocksdb/pull/2556 Differential Revision: D5394446 Pulled By: lightmark fbshipit-source-id: 4afaf35e7ad0378d12169d13a3131a92b428b5d2
1 parent 8f927e5
Computing file changes ...