Skip to content

Use 128-bit GUIDs instead of 16-bit profile IDs #3

Description

@wavesoft

It might be a better idea to use GUIDs for the profiles instead of a pre-assigned 16-bit integer. The overhead is not big if you consider that it will appear only once in the header.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions