am 85eb3f0a: (-s ours) am 9694910e: am eed8d0b3: Fix for issue 9656 - custom xml attributes in Android Libraries. do not merge.

* commit '85eb3f0af00aa35cceebbf162de4434418bf5a84':
  Fix for issue 9656 - custom xml attributes in Android Libraries. do not merge.