gnome-terminal user docs (Was: Re: Terminal, Web and Clocks user docs)

[Ekaterina Gerasimova <kittykat3756 gmail com>]

On 26 February 2014 21:42, Ekaterina Gerasimova <kittykat3756 gmail com> wrote:
> Hello all,
>
> gnome-terminal user docs have been updated for 3.12. Existing strings
> are very unlikely to be touched unless a patch makes it in for this
> release, in which case the change will be minor and only to a <gui>
> tag. New stings may be added, but I think this is unlikely.

gnome-terminal has already had its 3.12.0 release and I just found a
bug in the user docs, so please concentrate elsewhere if you're doing
last-minute translations!

> Happy translating!