Re: [PATCH 3 of 3] histedit: render a rolled up description using the proper roll colours

On Thu, 07 Nov 2019 15:31:48 -0500, Jordi Gutiérrez Hermoso wrote: > # HG changeset patch > # User Jordi Gutiérrez Hermoso > # Date 1572477597 14400 > # Wed Oct 30 19:19:57 2019 -0400 > # Node ID 4d0d2d692de029b4838d8fc12a48004749db9480 > # Parent 47446180a5ee16af1c90bb20a8dca92fa9d5f794 > h

[PATCH 3 of 3] histedit: render a rolled up description using the proper roll colours

# HG changeset patch # User Jordi Gutiérrez Hermoso # Date 1572477597 14400 # Wed Oct 30 19:19:57 2019 -0400 # Node ID 4d0d2d692de029b4838d8fc12a48004749db9480 # Parent 47446180a5ee16af1c90bb20a8dca92fa9d5f794 histedit: render a rolled up description using the proper roll colours Users have