[PATCH 3 of 3 V2] ui: support declaring path push urls as sub-options

[Pierre-Yves David]

On 12/06/2015 12:59 PM, Gregory Szorc wrote:
> # HG changeset patch
> # User Gregory Szorc <gregory.szorc at gmail.com>
> # Date 1449378664 28800
> #      Sat Dec 05 21:11:04 2015 -0800
> # Node ID a8d0dee8f279b125e625b91f35ed202a58eb07f1
> # Parent  225b213102e4943f160a03c6e75e58cf97106165
> ui: support declaring path push urls as sub-options

I've pushed this to the clowncopter. Hooray.

Thanks for being persistent on this.

-- 
Pierre-Yves David