Merge requests · minerva / core

Merge trains

make sure that we filter all logs (no guarantee which will be first)

!1784 · created Oct 03, 2024 by Piotr Gawron v19.0.0~alpha.0
BUG
- Merged
updated Oct 03, 2024
mapping modified - input arrow is translated into reactant not a modulation

!993 · created Nov 04, 2019 by Piotr Gawron master
- Merged
updated Nov 04, 2019
map width/height must be bigger

!1620 · created Dec 05, 2023 by Piotr Gawron v16.3.0~beta.2 devel_16.3.x
BUG
- Merged
updated Dec 05, 2023
Master to dev

!1847 · created Jan 10, 2025 by Piotr Gawron
- Merged
updated Jan 10, 2025
Maven dependency conflicts are resolved

!414 · created Sep 21, 2018 by Piotr Gawron master
- Merged
updated Sep 21, 2018
Maven repo url

!1044 · created Jan 17, 2020 by Piotr Gawron devel_14.0.x
- Merged
updated Jan 17, 2020
Merge 12.1.1 into master

!488 · created Nov 02, 2018 by Piotr Gawron master
- Merged
updated Nov 02, 2018
Merge 12.1.5 into master

!573 · created Jan 10, 2019 by Piotr Gawron master
- Merged
updated Jan 10, 2019
Merge 12.1.6

!603 · created Jan 29, 2019 by Piotr Gawron master
- Merged
updated Jan 29, 2019
Merge 12.1.7 into 12.2.x

!625 · created Feb 07, 2019 by Piotr Gawron devel_12.2.x
- Merged
updated Feb 07, 2019
Merge 12.1.8

!639 · created Feb 11, 2019 by Piotr Gawron devel_12.2.x
- Merged
updated Feb 11, 2019
Merge 12.2.0

!716 · created Mar 26, 2019 by Piotr Gawron master
- Merged
updated Mar 26, 2019
Merge 12.2.0 beta.2 into master

!678 · created Feb 27, 2019 by Piotr Gawron master
- Merged
updated Feb 27, 2019
Merge 12.2.1

!724 · created Apr 01, 2019 by Piotr Gawron master
- Merged
updated Apr 01, 2019
Merge 12.2.2

!744 · created Apr 10, 2019 by Piotr Gawron master
- Merged
updated Apr 10, 2019
Merge 12.2.3

!759 · created Apr 25, 2019 by Piotr Gawron master
- Merged
updated Apr 26, 2019
Merge 13.0.0

!770 · created May 07, 2019 by Piotr Gawron master
- Merged
updated May 07, 2019
Merge 13.1.0

!824 · created Jun 27, 2019 by Piotr Gawron master
- Merged
updated Jun 27, 2019
Merge 13.1.0 beta.1

!805 · created Jun 07, 2019 by Piotr Gawron master
- Merged
updated Jun 07, 2019
Merge 13.1.1

!833 · created Jul 02, 2019 by Piotr Gawron master
- Merged
updated Jul 02, 2019