On 5/27/23 21:10, Chet Ramey wrote:
> On 5/23/23 12:04 PM, Tom de Vries wrote:
> 
>> Both these issues need fixing independently, though after fixing the 
>> first we
>> no longer trigger the second.
> 
> Thanks for the report. These are both good fixes.

Thanks for the review.

Added test-case and committed.

Thanks,
- Tom