Started 3 yr 5 mo ago
Took 15 min
on built-in
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)
No changes. | |
GitHub pull request #2413 of commit 533c38a3d55c1a5c4a31d5773c97c0968625b8b9, no merge conflicts. | |
This run spent:
|