--2013-09-29 14:39:27--  https://raw.github.com/v8/v8/master/tools/jsmin.py
Resolving raw.github.com... 199.27.77.133
Connecting to raw.github.com|199.27.77.133|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 10770 (11K) [text/plain]
Last-modified header missing -- time-stamps turned off.
--2013-09-29 14:39:28--  https://raw.github.com/v8/v8/master/tools/jsmin.py
Reusing existing connection to raw.github.com:443.
HTTP request sent, awaiting response... 200 OK
Length: 10770 (11K) [text/plain]
Saving to: `./jsmin.py'

     0K ..........                                            100% 17.7M=0.001s

2013-09-29 14:39:28 (17.7 MB/s) - `./jsmin.py' saved [10770/10770]