Skip to content

Conversation

@jgadsden
Copy link
Contributor

Summary :
The appendices are still in rough format and have not been worked on
removing them for the moment until they are ready for publication

Description for the changelog :
remove appendices

Declaration:

  • content meets the license for this project
  • AI has not been used, or has been declared, in this pull request

Other info :
To reinstate the appendices: revert this pull request

@jgadsden jgadsden self-assigned this Oct 29, 2025
@jgadsden jgadsden added the 4.2.0 label Oct 29, 2025
@jgadsden jgadsden merged commit a8d03df into main Oct 29, 2025
7 checks passed
@jgadsden jgadsden deleted the remove-appendices branch October 29, 2025 20:40
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