Started 3 yr 6 mo ago
Took 37 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 0301712032ce3d7fc32200022220af8d5ed5ffc6, no merge conflicts. Started by user Alan Garny Rebuilds build #1,284 | |
This run spent:
|