21158: Fix merge error
authorPeter Amstutz <peter.amstutz@curii.com>
Tue, 30 Jan 2024 22:15:30 +0000 (17:15 -0500)
committerPeter Amstutz <peter.amstutz@curii.com>
Tue, 30 Jan 2024 22:15:30 +0000 (17:15 -0500)
commitd21ce5cf54ce442bff3e20fd39fb94606f3491e8
tree44089d834ba3d0256bbe27bbb5aeccee9ec921d1
parent1efba8f3b728a3b8aa3c64c5aa09f441318ff2a8
21158: Fix merge error

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
services/workbench2/src/store/workbench/workbench-actions.ts