Skip to content

Conversation

debugger22
Copy link
Member

@asmeurer This is an additional measure which will help.

@leosartaj
Copy link
Member

+1. Although someway to make it automated will be nice. It can very easily be forgotten.

@debugger22
Copy link
Member Author

I'm not sure how to automate this at the moment. Don't worry, I'll take care of this. :)

@asmeurer
Copy link
Member

It should be generated in the generate_indices script.

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.

3 participants