Tags

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

3.9.1

f27df9d7 · New release · Oct 04, 2024
3.9.0

5b1ab5cd · New release · May 25, 2024
3.8.0

7b634fb9 · New release · May 19, 2024
3.7.1

8f5eb51b · New release · Jan 01, 2024
3.7.0

70e3508d · Upgrade Debian package dependency to Java 17 · Dec 14, 2023
3.6.3

e4279aa1 · New release · Aug 30, 2023
3.6.2

3c18fc5a · New release · Jul 30, 2023
3.6.1

83326367 · New release · Mar 23, 2023
3.6.0

bb1a01f0 · New release · Dec 31, 2022
3.5.1

189dbdc9 · New release · Nov 11, 2022
3.5.0

80d1579d · Switch to Java 11 as Android now supports it · Oct 08, 2022
3.4.5

2797d4ba · Use OpenJDK 17 for unit tests · Sep 04, 2022
3.4.4

64c66666 · Bugfix: Fix wiki tag {{color:red}}, the new content security policy doesn't... · Apr 10, 2022
3.4.3

22ef7c46 · New release · Mar 11, 2022
3.4.2

f1cce0ee · New release · Feb 16, 2022
3.4.1

a3d68d44 · New release · Jan 15, 2022
3.4.0

37be5b8b · New release · Jan 09, 2022
3.3.1

4b7381c3 · New release · Jan 08, 2022
3.3.0

c9d321e9 · New release · Jan 04, 2022
3.2.1

863c291c · New release · Dec 29, 2021

1
2
3