tree eb94cd230d5adeefabe7e5fa11ee752d20a55657
parent 229bc9cfa0adfe22089e45c9396761b75b9bbcf6
author Bernhard Rosenkränzer <Bernhard.Rosenkranzer@linaro.org> 1369435539 +0200
committer Bernhard Rosenkränzer <Bernhard.Rosenkranzer@linaro.org> 1369435539 +0200

manifest: Add workaround for nexus10 kernel missing on our mirror

Change-Id: I31e311f7fc8a0d8b021bc2382b9f28bb13a47c11
Signed-off-by: Bernhard Rosenkränzer <Bernhard.Rosenkranzer@linaro.org>