Re: [java-gnome-hackers] Style schemes for GtkSourceview

[Andrew C. <an...@op...>]

On Tue, 2012-04-03 at 23:03 +0300, Georgios Migdos wrote:
> > Merged to 'mainline'
> > 

And so it was; if you'd done

$ bzr missing --line bzr://research.operationaldynamics.com/bzr/java-gnome/mainline/

you'd have seen your patch was there.

In this case, sorry, after pushing I have to manually do `bzr update` on
the working copy checkout on that server; `bzr push` doesn't do that
automatically [which I find annoying, alas]. Sometimes I haven't quite
managed to get around to it. Thanks for checking.

AfC
Sydney