On 5/27/19 1:39 AM, Herbert Xu wrote: > On Thu, Apr 25, 2019 at 01:39:52AM +0000, Michael Orlitzky wrote: >> >> However, dash seems to diverge from that behavior when we get to $10: >> >> ... > > This patch should fix the problem. > Seems to work, thanks!