I just ripped out AmigaOS from Pike 8.1. Martin warned me (after I'd already ripped it out, of course) that maybe Marcus is still using it?
So, is anyone still using AmigaOS in Pike 8.1? If yes, I'll revert the patch. If no, or if we stop supporting at 8.1, I'll leave it as is.