Skip to content

Add support for include_next directive#98

Merged
ned14 merged 1 commit intoned14:masterfrom
Dudeldu:master
Jan 20, 2026
Merged

Add support for include_next directive#98
ned14 merged 1 commit intoned14:masterfrom
Dudeldu:master

Conversation

@Dudeldu
Copy link
Copy Markdown
Contributor

@Dudeldu Dudeldu commented Mar 13, 2024

No description provided.

ned14 added a commit that referenced this pull request Jan 20, 2026
``--enable-include-next`` command line option. Thanks to Dudeldu for
the original PR #98.
@ned14 ned14 merged commit 5b5fd6e into ned14:master Jan 20, 2026
@ned14
Copy link
Copy Markdown
Owner

ned14 commented Jan 20, 2026

Eighteen months late, but that is now merged. Thanks for the enhancement.

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.

2 participants