Skip to content

webkitgtk: remove #1650

Merged
merged 1 commit into from
Feb 5, 2020
Merged

webkitgtk: remove #1650

merged 1 commit into from
Feb 5, 2020

Conversation

wwwutz
Copy link
Collaborator

@wwwutz wwwutz commented Feb 5, 2020

  • no dependencies found
  • reinstall on demand

- no dependencies found
- reinstall on demand
@wwwutz wwwutz merged commit 873bbfc into master Feb 5, 2020
wwwutz added a commit that referenced this pull request Feb 5, 2020
wwwutz added a commit that referenced this pull request Feb 5, 2020
Merge pull request #1650 from mariux64/remove-webkitgtk
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant