Tags

Tags give the ability to mark specific points in history as being important

v13.2

34105197 · Update version · Jun 07, 2021
v13.1

a081132b · Update version · May 28, 2021
v13.0

37ab721a · [Build] set version · May 26, 2021
v13.0-RC1

6f6546a5 · Set version · May 07, 2021
v12.4

809aed85 · Update version · Jan 13, 2021
v12.3

bb2c98cc · Merge branch 'master' into 12-dev · Dec 17, 2020
v12.2

60400c37 · Fix version · Dec 14, 2020
v12.1

078ec3ca · [Gui] fix: change order of instructions · Dec 11, 2020
v12.0

31d9264e · Update version · Dec 06, 2020
v12.0-RC1

97ffe755 · Set version · Nov 30, 2020
v11.5

53331bc2 · Update version · Sep 02, 2020
v11.4

b51e0e9c · Merge branch 'master' into 11-dev · Aug 28, 2020
v11.3

c96240d3 · [Build] set version · Jul 25, 2020
v11.2

c20466ca · [Build] update version · Jul 20, 2020
v11.1

d5b51f79 · [Build] set version · Jul 17, 2020
v11.0

73fe02e5 · [Site] fix homepage generation · Jul 10, 2020
v10.1

65f721cf · [Doc] fix: java version · Mar 09, 2020
v10.0

5c11b049 · [Build] prepare release · Feb 25, 2020
v10.0-RC1

cb8e0ce0 · Fix version · Feb 03, 2020
v9.2

f2fda97c · Update version · Jul 18, 2019

Prev
1
2
3
4
5
6
7
Next