From fe6981b24541c0062b809d6d4973bb6771d00c00 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Mon, 8 Mar 2021 10:23:13 -0500
Subject: [PATCH] Bump :tools pdf

flatwhatson/pdf-tools@eb6d406 -> vedang/pdf-tools@35e12b0

The original politza/pdf-tools is no longer maintained (?), and the PR
we were pullin from has been merged into a new, maintained fork at
vedang/pdf-tools.

Might address #4750
---
 modules/tools/pdf/packages.el | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/modules/tools/pdf/packages.el b/modules/tools/pdf/packages.el
index 052c3d7db..78c609da6 100644
--- a/modules/tools/pdf/packages.el
+++ b/modules/tools/pdf/packages.el
@@ -2,10 +2,7 @@
 ;;; tools/pdf/packages.el
 
 (package! pdf-tools
-  ;; REVIEW waiting on politza/pdf-tools#588
-  :recipe (:host github
-           :repo "flatwhatson/pdf-tools"
-           :branch "fix-macros")
-  :pin "eb6d40663069f2b7e6b52e907eeaa4e37375feb6")
+  :recipe (:host github :repo "vedang/pdf-tools") ; active fork
+  :pin "35e12b0813e86c2e15793e75a1f8649fe7ab909e")
 
 (package! saveplace-pdf-view :pin "54ed966b842501c3c092dbf57b372e37b033c578")