From 7d83ae58ed3f22b961fc3056a1c0ef72a4b36190 Mon Sep 17 00:00:00 2001
From: glitsj16 <glitsj16@users.noreply.github.com>
Date: Wed, 20 Feb 2019 23:36:38 +0000
Subject: Streamline machine-id comment

---
 etc/pdftotext.profile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'etc')

diff --git a/etc/pdftotext.profile b/etc/pdftotext.profile
index 85e28372e..2d0376c24 100644
--- a/etc/pdftotext.profile
+++ b/etc/pdftotext.profile
@@ -19,6 +19,7 @@ include disable-xdg.inc
 include whitelist-var-common.inc
 
 caps.drop all
+# machine-id breaks audio; it should work fine in setups where sound is not required
 machine-id
 net none
 no3d
-- 
cgit v1.2.3-54-g00ecf