[PUSHED] merge these libraries only for android

[Michael Meeks]

On Tue, 2012-08-14 at 17:49 +0200, Matúš Kukan wrote:
> I've pushed them myself ;-)

	Ah ! :-)

> This happened because I've pushed them and in short time after that,
> I've pushed something else to gerrit.
> But gerrit was still at older commit at that time, so he thought I am
> pushing all of them and only later found out they are merged.
> Sorry, I didn't realize I have to wait when pushing to gerrit.

	That's fine good to understand :-) - the hope is that gerrit will
become the authoritative source of git-ness this week, and this then
stops being a problem :-)

	Thanks !

		Michael.

-- 
michael.meeks at suse.com  <><, Pseudo Engineer, itinerant idiot