Merge branch 'stable-2.13'

* stable-2.13:
  Fix REST documentation for setting global configuration

Change-Id: I8b49195b02e471ea7a7dca38e1e314d08d92297f
tree: c7097795b6d7ff2a349ef5265e8ca92e9e2cb3db
  1. lib/
  2. src/
  3. .buckconfig
  4. .gitignore
  5. BUCK