No, because it is cached. Make sure to clear all your caches, otherwise it wont work of course. It is most likely a CDN cached file.
The file is changed, I can confirm that on the plugin editor, yet the front-end is serving the cached version
Back-end editor shows the change: http://i.imgur.com/BjgxZNO.png
Front-end shows outdated file, probably CDN(?) cached version: http://i.imgur.com/eRhbBZV.png
If the cache is cleared properly, the changes will appear.