Merge branch 'stable-2.12' into stable-2.13

* stable-2.12:
  Fix compilation error

Change-Id: Ib6c85b4b55754ccc4acbc29841672bca78b3d355
tree: 74ffd2dfd39ba0d69bcc2236ddba1dacae3e3a31
  1. lib/
  2. src/
  3. .buckconfig
  4. .gitignore
  5. BUCK
  6. LICENSE