This update for Opera fixes the following issues:

- Update to version 42.0.2393.517:
- Wrong anchor to currency converter help link
- LocationConfiguration retry timer can target wrong object
- Currency converter not recognising decimal separator correctly