KRoot just merged, in fact he merged ALOT of our more trivial patches and updates.
On Tue, Nov 27, 2012 at 9:36 AM, Stephen Smalley <[email protected]> wrote: > On 11/27/2012 11:34 AM, William Roberts wrote: >> >> Can we cherry pick this back to your bitbucket master? >> >> https://android-review.googlesource.com/#/c/46791/ >> >> git fetch https://android.googlesource.com/platform/external/sepolicy >> refs/changes/91/46791/1 && git cherry-pick FETCH_HEAD > > > Applied on seandroid branch (master now tracks AOSP master). > > -- 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.
