Skip to content

Conversation

@aperezdc aperezdc self-assigned this Feb 9, 2023
@aperezdc aperezdc added the Tools / Tests Tools in the Tools directory, build issues, test infrastructure, and bugs in test cases label Feb 9, 2023
@aperezdc aperezdc requested a review from a team February 9, 2023 10:19
@aperezdc aperezdc added request-merge-queue Request a pull request to be added to merge-queue once ready merge-queue Applied to send a pull request to merge-queue and removed request-merge-queue Request a pull request to be added to merge-queue once ready labels Feb 9, 2023
https://bugs.webkit.org/show_bug.cgi?id=251983

Reviewed by Carlos Garcia Campos.

* Source/cmake/GtkDoc.cmake: Removed.

Canonical link: https://commits.webkit.org/260058@main
@webkit-commit-queue
Copy link
Collaborator

Committed 260058@main (4a1231c): https://commits.webkit.org/260058@main

Reviewed commits have been landed. Closing PR #9860 and removing active labels.

@webkit-early-warning-system webkit-early-warning-system merged commit 4a1231c into WebKit:main Feb 9, 2023
@webkit-commit-queue webkit-commit-queue removed the merge-queue Applied to send a pull request to merge-queue label Feb 9, 2023
@aperezdc aperezdc deleted the eng/remove-cmake-gtkdoc branch February 14, 2023 07:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Tools / Tests Tools in the Tools directory, build issues, test infrastructure, and bugs in test cases

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants