| Summary: | [GTK][WPE] Wrong WebKit version recorded on the MiniBrowser of the built-products generated on the bots. | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Carlos Alberto Lopez Perez <clopez> |
| Component: | WebKitGTK | Assignee: | Carlos Alberto Lopez Perez <clopez> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | bugs-noreply |
| Priority: | P2 | ||
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
|
Description
Carlos Alberto Lopez Perez
2023-02-21 19:31:26 PST
This is easy to reproduce: Just checkout any commit of main from the past and compare the difference between HEAD (what is checked out) and origin/HEAD. Pull request: https://github.com/WebKit/WebKit/pull/10491 Committed 260673@main (8e68aca2bb75): <https://commits.webkit.org/260673@main> Reviewed commits have been landed. Closing PR #10491 and removing active labels. |