From: Sara Golemon <saramg@gmail.com>
Date: Mon, 15 Jun 2015 20:31:59 +0000 (-0700)
Subject: Merge pull request #225 from wb14123/dup
X-Git-Tag: v0.47.0~19
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=ae93c76d80b8959abc31ab2912b55ff91fb67d5d;p=folly.git

Merge pull request #225 from wb14123/dup

Remove duplicate header file
Somehow this was already correct in the internal repo, but not the external one.
Thanks!
---

ae93c76d80b8959abc31ab2912b55ff91fb67d5d