Can you cherry pick https://android-review.googlesource.com/#/c/49090/ to seandriod branch. I did not see it included.
-- Respectfully, William C Roberts -- This message was distributed to subscribers of the seandroid-list mailing list. If you no longer wish to subscribe, send mail to [email protected] with the words "unsubscribe seandroid-list" without quotes as the message.
