Merge requests · minerva / core

Merge trains

12.1.0~beta.3 into master

!459 · created Oct 11, 2018 by Piotr Gawron master
- Closed
updated Oct 15, 2018
12.1.1 into master

!487 · created Nov 02, 2018 by Piotr Gawron master
- Closed
updated Nov 02, 2018
12.1.7 into 12.2.x

!624 · created Feb 07, 2019 by Piotr Gawron devel_12.2.x
- Closed
updated Feb 07, 2019
12.2.0~beta.2 into master

!677 · created Feb 27, 2019 by Piotr Gawron master
- Closed
updated Feb 27, 2019
12.2.1 into master

!723 · created Apr 01, 2019 by Piotr Gawron master
- Closed
updated Apr 01, 2019
12.2.2 into master

!743 · created Apr 10, 2019 by Piotr Gawron master
- Closed
updated Apr 10, 2019
13.1.1 into master

!832 · created Jul 02, 2019 by Piotr Gawron master
- Closed
updated Jul 02, 2019
13.1.2 into master

!845 · created Jul 22, 2019 by Piotr Gawron master
- Closed
updated Jul 22, 2019
14.0.5 into master

!1026 · created Dec 03, 2019 by Piotr Gawron master
- Closed
updated Dec 03, 2019
applied formatting (whitespace, imports, method/field order) to *.java

!854 · created Jul 25, 2019 by Sascha Herzinger v14.0.0~alpha.0 master
dev-todo
- Closed
updated Jul 25, 2019
changed warning text

!598 · created Jan 25, 2019 by Sascha Herzinger v12.1.6 master
BUG graphics; css; layout
- Closed
- 1
updated Jan 28, 2019
change line breaks to unix format

!122 · created Nov 03, 2017 by Nils Christian devel_11.1.x
- Closed
updated Nov 03, 2017
coloring wasn't applied to center

!1036 · created Dec 19, 2019 by Piotr Gawron v14.0.6 devel_14.0.x
BUG
- Closed
updated Dec 19, 2019
Devel 11.0.x

!161 · created Jan 17, 2018 by Piotr Gawron master
- Closed
updated Jan 17, 2018
Devel 11.1.x

!149 · created Jan 09, 2018 by Piotr Gawron master
- Closed
updated Jan 09, 2018
Devel 12.1.x

!637 · created Feb 08, 2019 by Piotr Gawron devel_12.2.x
- Closed
updated Feb 08, 2019
Devel 12.2.0~beta.2 into master

!676 · created Feb 27, 2019 by Piotr Gawron master
- Closed
updated Feb 27, 2019
Devel 15.0.x

!1199 · created Jun 26, 2020 by Piotr Gawron master
- Closed
updated Jun 26, 2020
do not attempt to update privileges if not authorized

!597 · created Jan 25, 2019 by Sascha Herzinger v13.1.0~beta.0 master
BUG
- Closed
- 1
updated Feb 04, 2019
Draft: Resolve "allow plugin to add data overlay"

!1428 · created Feb 01, 2022 by Piotr Gawron v16.1.0~beta.0 master
Feature Plugin API
- Closed
updated Feb 01, 2022