[Bug 750162] android: NDK r10e does not set HOST_SED anymore

[GStreamer (GNOME Bugzilla)]

https://bugzilla.gnome.org/show_bug.cgi?id=750162

--- Comment #9 from Nicolas Dufresne (stormer) <nicolas.dufresne at collabora.co.uk> ---
For the reference, Edward informed me the the build bot was updating the
bootstrap automatically.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
You are the assignee for the bug.