I'm all for fixing bug 1528135 by any means. But it doesn't help the fact that make_module_ptr is fundamentally unsafe and needs fixing or removing completely. We can however treat them as separate issues... https://code.launchpad.net/~vanvugt/mir/fix-1527449/+merge/281969
« Back to merge proposal
I'm all for fixing bug 1528135 by any means. But it doesn't help the fact that make_module_ptr is fundamentally unsafe and needs fixing or removing completely. We can however treat them as separate issues... /code.launchpad .net/~vanvugt/ mir/fix- 1527449/ +merge/ 281969
https:/