am 7e236a05: Merge change 5763 into donut

Merge commit '7e236a05ac0148532e5a0670c55b76322b226dd3'

* commit '7e236a05ac0148532e5a0670c55b76322b226dd3':
  Remove problematic case-insensitive duplicate files.