22 Feb
2019
22 Feb
'19
2:50 a.m.
Sure, but with a lot more overhead. I’m not a proponent of qualified export. I just think it would an unproblematic feature to add if we feel it’s important. On Thu, Feb 21, 2019 at 23:43 Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Thu, 21 Feb 2019, Lennart Augustsson wrote:
Right.
Then my suggestion of providing two modules would solve the problem, too. Right?