On Mon 2023-09-25 (18:03), Robert Clausecker wrote:
> This is related to bug #274025.  A patch for this bug was pushed
> yesterday.  Please update your ports tree and try again.

Thanks, confirmed working in 4.0.4_2.

Reply via email to