Skip to content

Carson/update poppler#98

Merged
carsonharmon merged 2 commits intomasterfrom
carson/update_poppler
Sep 28, 2020
Merged

Carson/update poppler#98
carsonharmon merged 2 commits intomasterfrom
carson/update_poppler

Conversation

@carsonharmon
Copy link
Copy Markdown
Contributor

Small datalog bug fix

Instruments more Poppler utils

@carsonharmon carsonharmon merged commit c03726a into master Sep 28, 2020
@ESultanik ESultanik deleted the carson/update_poppler branch December 9, 2020 13:29
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