Skip to content

Cleanup after mechanism for marking a compilation option as private #10305

@gilles-peskine-arm

Description

@gilles-peskine-arm

This is a cleanup task after the main feature of #10147 is done.

(More stuff may be added during development.)

Metadata

Metadata

Assignees

No one assigned

    Labels

    size-xsEstimated task size: extra small (a few hours at most)

    Type

    Projects

    Status

    1.0/4.0 SHOULDs

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions