The removal of the OLD-XX package nicknames for the VM packages causes
problems for certain kinds of cross-compiles, which need the nickname at worldload time to gather up OLD-XX references into the non-OLD package. Hence we temporarily add the OLD-XX nicknames back during world-load.
Loading
Please register or sign in to comment