Re: String additions to 'devhelp.master'

[Frederic Peters <fpeters gnome org>]

Piotr Drąg wrote:

> > Sorry about that, I thought I had already pushed the 3.16 branch.
> > I just did so.
>
> Hi Frederic,
>
> Could you also push th 3.14 branch? This appears to be the last commit
> suitable for this branch:
>
> https://git.gnome.org/browse/devhelp/commit/?id=0e0f677be916b84ddf6dfd16de06cdfccfbbcb87

Sure, done.


        Fred