in develop / mask mode, the menu option Edit / Copy shows as being active but selecting it does nothing. Switch to standard editing and the menu option functions

As described

1/ select image

2/ enter develop mode

3/ select mask mode in right column

4/ menu item Edit / Copy is active

5/ select menu item Edit / Copy, nothing happens

6/ switch to basic editing

7/ menu item Edit / Copy is active

8/ select menu item Edit / Copy, the copy dialog appears