On 11/13/2012 07:27 PM, William Roberts wrote:
I noticed that 4.2 popped up in my remote branches today, in the manifests.
$ git branch -r | grep '4.2'
origin/android-4.2_r1
Yes, I did an initial merge of it into our seandroid branch yesterday.
But we are still fixing breakage from the merge, so don't expect the
seandroid branch to work at the moment...
--
This message was distributed to subscribers of the seandroid-list mailing list.
If you no longer wish to subscribe, send mail to majord...@tycho.nsa.gov with
the words "unsubscribe seandroid-list" without quotes as the message.
