On Tue, Jan 20, 2015 at 7:44 PM, Eli Zaretskii <eliz@gnu.org> wrote: >> From: Doug Evans <dje@google.com> >> Date: Tue, 20 Jan 2015 16:28:54 -0800 >> >> Heh. >> This replaces the previous version. >> Thinko in assigning username too soon. > > I see no differences in the documentation parts, so this is also okay > from my POV. Committed, thanks.