pdf-tools 最近的更新坏了

pdf-tools 最近的更新坏了,无法 build pdf server,如果已经更新了,可以把最近的两次提交恢复,如果没有更新,可以等待下面的问题修复了再更新:

1 个赞

刚才更新了最新版的 pdf-tools,这个问题已经修复了