vaadin-push 8.13.2

<!-- https://jarcasting.com/artifacts/com.vaadin/vaadin-push/ -->
<dependency>
    <groupId>com.vaadin</groupId>
    <artifactId>vaadin-push</artifactId>
    <version>8.13.2</version>
</dependency>

// https://jarcasting.com/artifacts/com.vaadin/vaadin-push/
implementation 'com.vaadin:vaadin-push:8.13.2'

// https://jarcasting.com/artifacts/com.vaadin/vaadin-push/
implementation ("com.vaadin:vaadin-push:8.13.2")

'com.vaadin:vaadin-push:jar:8.13.2'

<dependency org="com.vaadin" name="vaadin-push" rev="8.13.2">
  <artifact name="vaadin-push" type="jar" />
</dependency>

@Grapes(
@Grab(group='com.vaadin', module='vaadin-push', version='8.13.2')
)

libraryDependencies += "com.vaadin" % "vaadin-push" % "8.13.2"

[com.vaadin/vaadin-push "8.13.2"]