Release tag for Activiti Designer 5.12.0

[alexfalappa]

Hi all,
  just noticed that on GitHub Activiti Designer repo the release tag for 5.12.0 is missing.

I downloaded revision df0e877eced2d161e236aac0355ee268c8c82482 "Flow issues fixed and moved to 5.12.0 ahead of release" which I believe is the the last commit before 5.12 came out. Right?

Thanks in advance
–
Alessandro

[frederikherema1]

Yes, that seems to be okay.