>>>>> On Sat, 21 Sep 2019, Michał Górny wrote:

> We currently have @BINARY-REDISTRIBUTABLE license group that somewhat
> concerns RESTRICT=bindist.  I think it'd be reasonable to introduce
> a matching group concerning RESTRICT=mirror.

This would be a superset of @BINARY-REDISTRIBUTABLE, I suppose? Or do we
have examples where sources are mirror restricted, but binaries built
from them can be distributed (and sold)?

Ulrich