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