From f5330d763aab011f2dd2893848992e3b7381a8ac Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Tue, 20 Aug 2019 04:15:11 +0200
Subject: [PATCH] NO-OP: whitespace

---
 libs/ardour/plugin_manager.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/libs/ardour/plugin_manager.cc b/libs/ardour/plugin_manager.cc
index 39ddf6a1cd..26481b6aea 100644
--- a/libs/ardour/plugin_manager.cc
+++ b/libs/ardour/plugin_manager.cc
@@ -1623,9 +1623,9 @@ PluginManager::load_tags ()
 			string name;
 			bool user_set;
 			if (!(*i)->get_property (X_("type"), type) ||
-					!(*i)->get_property (X_("id"), id) ||
-					!(*i)->get_property (X_("tags"), tags) ||
-					!(*i)->get_property (X_("name"), name)) {
+			    !(*i)->get_property (X_("id"), id) ||
+			    !(*i)->get_property (X_("tags"), tags) ||
+			    !(*i)->get_property (X_("name"), name)) {
 				continue;
 			}
 			if (!(*i)->get_property (X_("user-set"), user_set)) {