Skip to content

Mark some properties as hereditary#1665

Merged
prabau merged 1 commit intomainfrom
hereditary50
Mar 11, 2026
Merged

Mark some properties as hereditary#1665
prabau merged 1 commit intomainfrom
hereditary50

Conversation

@felixpernegger
Copy link
Collaborator

This PR adds the "hereditary" property to all spaces up to 50 which are in fact hereditary.

All the ones not marked here (up to 50) ought to be in fact now hereditary. In preparation for an eventual proper implementation, this might be useful to know.

I prepared this PR (to make the entries) with Claude code, but figured out which properties are hereditary completely myself (with spreadsheet).

@prabau prabau merged commit efdfe59 into main Mar 11, 2026
1 check passed
@prabau prabau deleted the hereditary50 branch March 11, 2026 03:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants