Commit e5a7724969047686ce4695af9100809dec309244

Carlos Martín Nieto 2015-08-01T15:38:04

Cherry-pick PR #3332: Resolve documentation warnings