Commit 23f31d23 authored by Chris Lamb's avatar Chris Lamb

Rename randomless_in_pdf2htmlex_html_output → randomless_in_pdf2htmlex_html_output issue.

parent 949315bd
......@@ -1852,6 +1852,6 @@ jekyll_site_time_timestamp:
description: |
The Jekyll site generator uses Time.now as site.time.
url: https://github.com/jekyll/jekyll/pull/7187
randomless_in_pdf2htmlex_html_output:
randomness_in_pdf2htmlex_html_output:
description: |
Converts PDFs to HTML, font headers are nondeterministic.
......@@ -2635,7 +2635,7 @@ clif:
clips:
version: 6.30-4
issues:
- randomless_in_pdf2htmlex_html_output
- randomness_in_pdf2htmlex_html_output
clisp:
version: 1:2.49-10
comments: |
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment