Integrated: Remove dead code
Jorn Vernee
jvernee at openjdk.org
Wed Dec 13 13:35:09 UTC 2023
On Wed, 13 Dec 2023 01:37:29 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:
> Remove the last little bits of dead code. (found through code coverage report)
This pull request has now been integrated.
Changeset: e790205d
Author: Jorn Vernee <jvernee at openjdk.org>
URL: https://git.openjdk.org/jextract/commit/e790205da93c4aacd8524064d0f109d637b99161
Stats: 69 lines in 4 files changed: 1 ins; 58 del; 10 mod
Remove dead code
Reviewed-by: mcimadamore
-------------
PR: https://git.openjdk.org/jextract/pull/158
More information about the jextract-dev
mailing list