-
Enhancement
-
Resolution: Fixed
-
P4
-
None
-
repo-panama
The name isTrivial isn't ideal.
The 'is' can be dropped, and we'd like to switch to the name 'critical' which leans on a more established meaning.
The 'is' can be dropped, and we'd like to switch to the name 'critical' which leans on a more established meaning.
Rename isTrivial linker option to critical
-
-
Resolution: Fixed
-
P4
-
None
-
repo-panama
The name isTrivial isn't ideal.
The 'is' can be dropped, and we'd like to switch to the name 'critical' which leans on a more established meaning.
The 'is' can be dropped, and we'd like to switch to the name 'critical' which leans on a more established meaning.
-
Jorn Vernee
-
- Votes:
-
0 Vote for this issue
- Watchers:
-
2 Start watching this issue
- Created:
- Updated:
- Resolved: