bump version to 19.7.2 (#448)
bump version to 19.7.2 (#448)


crossbario/autobahn-js,crossbario/autobahn-js,crossbario/autobahn-js,tavendo/AutobahnJS,tavendo/AutobahnJS,crossbario/autobahn-js,tavendo/AutobahnJS