On Aug 9, 2024, at 16:58, René J.V. Bertin wrote: > > There was never an actual namespace, tbh, so renaming them to `dev.XXX` is > not a real problem. But is it possible to use namespaced options variables or > if not, shouldn't there be an error if you something like below?
Lots of portgroups use namespaced variables. You do of course need to declare the namespace first.
