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@openindiana.org > https://openindiana.org/mailman/listinfo/openindiana-discuss
Merge +1 _______________________________________________ openindiana-discuss mailing list openindiana-discuss@openindiana.org https://openindiana.org/mailman/listinfo/openindiana-discuss
