new release (for the benefit of Firefox users)

This commit is contained in:
Raymond Hill 2018-10-18 10:23:43 -03:00
parent ff58107dac
commit 63c0e4e39c
No known key found for this signature in database
GPG key ID: 25E1490B761470C2

2
dist/version vendored
View file

@ -1 +1 @@
1.17.0
1.17.2