[Webkit-unassigned] [Bug 123665] jsmin.py license header confusing, mentions non-free license

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=123665





--- Comment #9 from Alberto Garcia <berto at igalia.com>  2014-05-08 01:57:10 PST ---
(In reply to comment #7)
> You should build with COMBINE_INSPECTOR_RESOURCES defined. That will
> cause copy-user-interface-resources.pl in WebInspectorUI to call
> jsmin.py.

copy-user-interface-resources.pl is not used in the GTK+ port, but I
compared all other files minified by jsmin.py and the output from both
versions only differs in a few whitespaces.

(In reply to comment #8)
> You shouldn’t leave this function list in the change log in a case
> like this.

You're right, I'll remove it, thanks!

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.