ea9833d4ff
It was useful when we still had the relinker, but now it has no use. I was waiting a bit to see if the distinction would be useful again, but it seems like it won't.
6.0 KiB
6.0 KiB