Re: [PATCH 00/11] Unconvolutize push.default=simple
From: Elijah Newren <hidden>
Date: 2021-05-28 22:28:27
On Fri, May 28, 2021 at 3:22 PM Felipe Contreras [off-list ref] wrote:
Elijah Newren wrote:quoted
On Fri, May 28, 2021 at 1:10 PM Felipe Contreras [off-list ref] wrote: Is "Unconvolutize" a convoluted synonym of simplify, untwist, or perhaps deconvolute? ;-)Indeed. Does it give you an urge to remedy that?
Nah, it's fine.