Skip to content

non-forgetful attribute for pttdom_elabel - #23

Open
chdoc wants to merge 1 commit into
masterfrom
non-forgetful
Open

chdoc wants to merge 1 commit into
masterfrom
non-forgetful

Conversation

@chdoc

@chdoc chdoc commented Jun 18, 2021

Copy link
Copy Markdown
Member

Current master branch of HB turns this instance into an error without the attribute.

@chdoc

chdoc commented Jun 18, 2021

Copy link
Copy Markdown
Member Author

This should not be merged until after the release of hierarchy-builder-1.2, since the attribute is not backward compatible. See
math-comp/hierarchy-builder#253

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant