--- a/NEWS Wed Apr 12 09:18:36 2023 +0200
+++ b/NEWS Wed Apr 12 19:56:05 2023 +0200
@@ -230,6 +230,7 @@
mult_mono_strong
multeqp_code_iff_reflclp_multp
multp_code_iff_multp
+ multp_image_mset_image_msetI
multp_mono_strong
multp_repeat_mset_repeat_msetI
total_mult