On 16/08/2021 22:17, Assaf Gordon wrote:
Hello Emil and all,Thanks for the clear and easily reproducible bug report. Attached a suggested fix. Comments very welcomed,
minor nit in NEWS: s/silently discard/silently discards/ Otherwise it looks good. thanks! Pádraig