Refactor Skim forward-search fix

This commit is contained in:
Henrik Lissner 2019-11-21 00:49:37 -05:00 committed by GitHub
parent 34bc6650b1
commit 604cde933f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23