8253725: Jextract fails to extract big monolithic headers #357
TODO: add better support for indentation.
@mcimadamore This change now passes all automated pre-integration checks.
After integration, the commit message for the final commit will be:
At the time when this comment was updated there had been 2 new commits pushed to the
Please see this link for an up-to-date comparison between the source branch of this pull request and the
@mcimadamore Since your change was applied there have been 2 commits pushed to the
Your commit was automatically rebased without conflicts.
Pushed as commit a8244b7.