After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 461689 - [patch] Rename Webkit as WebKit
[patch] Rename Webkit as WebKit
Status: RESOLVED FIXED
Product: epiphany
Classification: Core
Component: Backend
git master
Other Linux
: Normal normal
: ---
Assigned To: Diego Escalante Urrelo (not reading bugmail)
Epiphany Maintainers
Depends on:
Blocks:
 
 
Reported: 2007-07-30 05:08 UTC by Diego Escalante Urrelo (not reading bugmail)
Modified: 2007-07-30 07:01 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
The diff after a sed -i 's/Webkit/WebKit/' (18.04 KB, patch)
2007-07-30 05:10 UTC, Diego Escalante Urrelo (not reading bugmail) 		committed Details | Review

Description Diego Escalante Urrelo (not reading bugmail) 2007-07-30 05:08:53 UTC 
SSIA. That way we follow WebKit's naming.
Comment 1 Diego Escalante Urrelo (not reading bugmail) 2007-07-30 05:10:41 UTC 
Created attachment 92675 [details] [review]
The diff after a sed -i 's/Webkit/WebKit/'

I was going to commit since this doesn't kill babies but I rather have someone say go.
Comment 2 Xan Lopez 2007-07-30 06:48:15 UTC 
Go!
Comment 3 Diego Escalante Urrelo (not reading bugmail) 2007-07-30 07:01:20 UTC 
Ok committed!