Skip to content

Fix update date for previous merge#40

Merged
jamesrhester merged 2 commits into
rc-4.2.0from
previous-change-date-fix
Jun 30, 2026
Merged

Fix update date for previous merge#40
jamesrhester merged 2 commits into
rc-4.2.0from
previous-change-date-fix

Conversation

@jamesrhester

Copy link
Copy Markdown
Collaborator

Neglected to update definition update date in previous PR.

Neglected to update definition update date in previous PR.
IUCr have advised of DOI and final URL.
@jamesrhester jamesrhester merged commit e948872 into rc-4.2.0 Jun 30, 2026
3 checks passed
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