Started 3 yr 5 mo ago
Took 12 min
on built-in
GUI: not all widgets in a tool bar are visible in its corresponding context menu (#2395)
No changes. | |
GitHub pull request #2413 of commit 722273626df5bfc65572806ee0c2e85f8ca58dc0, no merge conflicts. | |
This run spent:
|