Skip to content

cmt2annot: make the iterator and binary_part functions public#13229

Closed
shindere wants to merge 1 commit intoocaml:trunkfrom
shindere:export-more-cmt2annot-functions
Closed

cmt2annot: make the iterator and binary_part functions public#13229
shindere wants to merge 1 commit intoocaml:trunkfrom
shindere:export-more-cmt2annot-functions

Conversation

@shindere
Copy link
Copy Markdown
Contributor

In response to #11288 (comment)

@shindere shindere force-pushed the export-more-cmt2annot-functions branch from fbc5a3b to 5068008 Compare June 10, 2024 08:43
@dra27
Copy link
Copy Markdown
Member

dra27 commented Jun 10, 2024

Oh dear - I'm afraid I beat you to it in #13228 (also .depend needs regenerating!)

@shindere shindere closed this Jun 10, 2024
@shindere
Copy link
Copy Markdown
Contributor Author

Closed as superseeded by #13228

@shindere shindere deleted the export-more-cmt2annot-functions branch June 10, 2024 09:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants