Merge branch 'stable-2.11' into 'master'

No commits included, merge executed only for release-management purposes
and applying future fixes on both stable-2.11 and master.

Change-Id: I0fe480719f3f9083d44bfaa01dbd9ef43591ccca
tree: 8de07be9355e0ec76a3a90696b9e3a62f791e52c
  1. .gitignore
  2. .settings/
  3. BUCK
  4. LICENSE
  5. src/