Closed martinmoene closed 7 years ago
Make it possible to omit extensions w.r.t. the proposal p0059.
Done in commit 7f1ddc86612339b477927399f09b16cfb754e6e8 .
Make it possible to omit extensions w.r.t. the proposal p0059.