diff editor: bundle a new :builtin-web GUI diff editor
#1421
| Job | Run time |
|---|---|
| 5m 40s | |
| 6m 50s | |
| 12m 30s |
:builtin-web GUI diff editor
#1421
| Job | Run time |
|---|---|
| 5m 40s | |
| 6m 50s | |
| 12m 30s |