-
Bug
-
Resolution: Fixed
-
P4
-
10
-
None
-
b34
We should not have "zipped" as default for native-debug-symbols. In the future, this option should probably be dropped completely, but for now, start by not making it default.