--- a/NEWS Wed Jan 11 17:02:52 2023 +0000 +++ b/NEWS Thu Jan 12 15:46:44 2023 +0100 @@ -180,6 +180,9 @@ multp_mono_strong wfP_subset_mset[simp] +* Mirabelle: + - Added session to output directory structure. Minor INCOMPATIBILITY. + *** ML ***