diff options
author | Joseph C. Sible <josephcsible@users.noreply.github.com> | 2020-03-30 15:03:29 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-30 12:03:29 -0700 |
commit | 4f41ac3269994c90173e07a6bedfbaeaec9e7be8 (patch) | |
tree | b88ea2164cda5c24ea782615decf5df279bfa343 /test/mediawiki-reader.native | |
parent | a465e2c059ceb7f58279e25b11159c8fd391bde7 (diff) | |
download | pandoc-4f41ac3269994c90173e07a6bedfbaeaec9e7be8.tar.gz |
Fix #6228 (#6230)
UUID: Remove `getUUID`, fix `getRandomUUID` and make it polymorphic in PandocMonad.
Diffstat (limited to 'test/mediawiki-reader.native')
0 files changed, 0 insertions, 0 deletions