Back to bug 8088

Who When What Removed Added
samuel 2023-02-10 14:11:26 CET See Also https://bugzilla.cendio.com/show_bug.cgi?id=8086, https://bugzilla.cendio.com/show_bug.cgi?id=7909
frifl 2023-02-14 13:23:25 CET Target Milestone --- LowPrio
CC frifl

Back to bug 8088