Skip to content

webkitgtk2: remove #1257

Merged
merged 1 commit into from
Sep 17, 2019
Merged

webkitgtk2: remove #1257

merged 1 commit into from
Sep 17, 2019

Conversation

wwwutz
Copy link
Collaborator

@wwwutz wwwutz commented Sep 11, 2019

  • remove old and stinky webkitgtk2
  • devhelp also has to jump from the bus
bee remove webkitgtk2-2.4.9-0.x86_64
bee remove devhelp-3.4.1-0.x86_64

- remove old and stinky webkitgtk2
- devhelp also has to jump from the bus

```
bee remove webkitgtk2-2.4.9-0.x86_64
bee remove devhelp-3.4.1-0.x86_64
```
@wwwutz
Copy link
Collaborator Author

wwwutz commented Sep 17, 2019

PR timeout

@wwwutz wwwutz merged commit a82fce5 into master Sep 17, 2019
@wwwutz wwwutz mentioned this pull request Sep 19, 2019
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