From d85c729fa5318b2d053f92f064e9662edddb94a3 Mon Sep 17 00:00:00 2001 From: Paulus Schoutsen Date: Wed, 17 Jan 2024 05:47:45 -0500 Subject: [PATCH] Add a download button to history panel (#19428)