-
Type:
Enhancement
-
Resolution: Fixed
-
Priority:
P4
-
None
-
Affects Version/s: repo-panama
-
Component/s: tools
It is sometimes useful to pick a custom name instead of the standard <headerfile_h> generated by jextract.