resolve #12345 The issue was caused by the delete running after the update, which led to both the old and new options being deleted when they shared the same value. --------- Co-authored-by: Marie Stoppa <marie.stoppa@essec.edu>
resolve #12345 The issue was caused by the delete running after the update, which led to both the old and new options being deleted when they shared the same value. --------- Co-authored-by: Marie Stoppa <marie.stoppa@essec.edu>