On 4/19/22 8:22 PM Mikael Sundqvist via ntg-context wrote:
Thanks, this will be fixed in the next upload (that will take place
soon as far as I've heard).
Thanks very much for the quick reply. Yes: it is fixed in the latest upload
just now.
Thanks,
Sreeram