From bf1b72f262b8cd04a09ef010a6684bfa00d45be9 Mon Sep 17 00:00:00 2001
From: Toni Rosinol <tonirosinol@hotmail.com>
Date: Wed, 10 Jul 2019 22:48:32 -0400
Subject: [PATCH] Update linter fork

---
 dev_tools/linter | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev_tools/linter b/dev_tools/linter
index e3965792a..389720746 160000
--- a/dev_tools/linter
+++ b/dev_tools/linter
@@ -1 +1 @@
-Subproject commit e3965792a8cfe41e7129ad358b84cf382e4920b8
+Subproject commit 3897207461d19a445071e11644a50e72951b8d3e