On 6/5/21 12:16 PM, Andreas Wacknitz wrote: > Any news on this issue? Shall I merge the PR or close it? > > Andreas > > > _______________________________________________ > openindiana-discuss mailing list > openindiana-discuss at openindiana.org > https://openindiana.org/mailman/listinfo/openindiana-discuss Merge +1