Time for a new release?

[Snuffleupagus]

The latest release was a little over two months ago, and there's been a fair number of api-minor changes since then. (In general, slightly shorter release cycles shouldn't hurt.)

Of particular interest here is PR #13261, which improved searching (in the viewer) a great deal:

• It added support for searching with/without diacritics.
• It added arbitrary white-space matching when searching.
• It fixed searching for hyphenated words, when line-breaks are present.
• It improved searching around punctuation characters.

There's also been a number of (API-observable) changes/deprecations regarding both browser and PDF.js options support, in addition to various annotations, font-conversion, and smask bug fixes. Finally, there's also a few (smaller) TypeScript definition improvements.

[timvandermeij]

This looks like a good moment to me too for the reasons above and because we don't have any PRs in the queue that need merging right now. I'll make the release today.

[timvandermeij]

Closing since version 2.13.216 is now released; please see https://github.com/mozilla/pdf.js/releases/tag/v2.13.216 for the release notes.