[PATCH] ui: improve docs on ui.log

[Matt Mackall]

On Thu, 2015-09-10 at 10:50 -0400, Augie Fackler wrote:
> # HG changeset patch
> # User Augie Fackler <augie at google.com>
> # Date 1441896603 14400
> #      Thu Sep 10 10:50:03 2015 -0400
> # Node ID 18fd6b809fe39b25f7525cf7019f58aaecd8dad5
> # Parent  a4da463df6cf0d0bcf36afa478ed18d1c818ff3e
> ui: improve docs on ui.log

Queued for default, thanks.

-- 
Mathematics is the supreme nostalgia of our time.