Started 3 yr 4 mo ago
Took 9 min 28 sec
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 16ad20d374fe2a97306f74b80b7d08d5b7473c0a, no merge conflicts. | |
This run spent:
|