Vaadin 7.2.0 github release tag

Vaadin 6 / 7 / 8
1

Please, tag release 7.2.0 revision on github

2

Also, it would be nice, if you tag 7.1.15

3

Hello Yuriy,
vaadin-theme-compiler is available in version 7.1.15
And I think vaadin-theme-compiler now is replaced by the vaadin-sass-compiler

<dependency>
  <groupId>com.vaadin</groupId>
  <artifactId>vaadin-sass-compiler</artifactId>
  <version>0.9.2</version>
</dependency>
4

Thanks, I know about changes.
I need only GIT tags for releases.

5

Hi, the tags are made in the Gerrit git repository but for some reason they are not being pushed to github. We are looking into it