[PATCH 6 of 6] profiling: allow configuring minimum display threshold for hotpath

[Yuya Nishihara]

On Thu, 15 Jun 2017 11:18:16 -0700, Gregory Szorc wrote:
> # HG changeset patch
> # User Gregory Szorc <gregory.szorc at gmail.com>
> # Date 1497550251 25200
> #      Thu Jun 15 11:10:51 2017 -0700
> # Node ID cb05c6acff5665e118e71a1ba6e0f49bd0fc358e
> # Parent  4c12e71de97e5e390e8ee78f9942724a5f024d64
> profiling: allow configuring minimum display threshold for hotpath

Queued, thanks.

> check-config.py doesn't like having multiple defaults for the
> ui.configwith() calls. The behavior is obviously correct. I'm
> not sure if it is worth teaching check-config.py how to ignore
> this. So I've just accepted the new output.

I prefer not leaving a known-good error since it isn't easy to say whether
it is a real error.