We did have platform-specific bugs, but the fixes (if any) were not platform-specific. In other words, we change the code so that it fixes the platform specifi

We did have platform-specific bugs, but the fixes (if any) were not platform-specific. In other words, we change the code so that it fixes the platform specific bug while adding no platform-specific code. (Don't know if I made myself clear).