From 6dd8a3f9421de7607c497c78eb52eb4936eca676 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20PIERRE?= <aurelien@aurelienpierre.com>
Date: Thu, 12 Nov 2020 03:37:14 +0100
Subject: [PATCH] cleanup pipeline properly

---
 src/develop/develop.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/develop/develop.c b/src/develop/develop.c
index 74c416c5d2c6..f539c43cda05 100644
--- a/src/develop/develop.c
+++ b/src/develop/develop.c
@@ -143,6 +143,7 @@ void dt_dev_cleanup(dt_develop_t *dev)
   dt_pthread_mutex_destroy(&dev->pipe_mutex);
   dt_pthread_mutex_destroy(&dev->preview_pipe_mutex);
   dt_pthread_mutex_destroy(&dev->preview2_pipe_mutex);
+  dev->proxy.chroma_adaptation = NULL;
   if(dev->pipe)
   {
     dt_dev_pixelpipe_cleanup(dev->pipe);