---- On Tue, 19 Mar 2024 18:11:50 +0100 William Denton wrote --- > Some unusual files sneaked in with commit 37cd00bb120.
Thank you, good catch. My bad. The files are garbage that existed in my repo when I did 'git add .'. They should not have been added to the commit. Should I do as before and use 'git revert'? Or, do we want to remove them completely from the history? I would be happy to correct my mistake. However, I'm heading to bed now and unsure if I'll be able to work on this tomorrow or Thursday. -- Matt Trzcinski Emacs Org contributor (ob-shell) Learn more about Org mode at https://orgmode.org Support Org development at https://liberapay.com/org-mode
