From 5193fd9d9945437fbc7663f1585ae5d96d2ba103 Mon Sep 17 00:00:00 2001 From: Klaus Schmidinger Date: Mon, 29 Jun 2020 09:29:06 +0200 Subject: Improved deleting plugins in case the plugin uses its own memory management --- CONTRIBUTORS | 1 + 1 file changed, 1 insertion(+) (limited to 'CONTRIBUTORS') diff --git a/CONTRIBUTORS b/CONTRIBUTORS index ab656dc7..c15ced33 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -2761,6 +2761,7 @@ Winfried K for fixing some copy&paste errors in PLUGINS.html for fixing the size of cChannel::dtypes[] for adding a device hook for detecting whether a device provides EIT data + for improving deleting plugins in case the plugin uses its own memory management Hans-Werner Hilse for adding the command line option --userdump to enable core dumps in case VDR -- cgit v1.2.3