From 27aec70e5374b672cf7e0c37c4adea7fec031c61 Mon Sep 17 00:00:00 2001
From: Neil <nyamatongwe@gmail.com>
Date: Sun, 3 Mar 2019 16:17:24 +1100
Subject: Backport: Remove destructor that doesn't need to be defined.

Backport of changeset 7288:86ed07cd2809.
---
 src/Editor.cxx | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Editor.cxx b/src/Editor.cxx
index a89b83489..2b4e55bc1 100644
--- a/src/Editor.cxx
+++ b/src/Editor.cxx
@@ -4018,8 +4018,6 @@ public:
 	CaseFolderASCII() noexcept {
 		StandardASCII();
 	}
-	~CaseFolderASCII() override {
-	}
 };
 
 
-- 
cgit v1.2.3