v1.4.0 #58

Merged
muellerr merged 56 commits from develop into master 2021-07-23 18:32:36 +02:00
Owner

Update to v1.4.0

Update to v1.4.0
muellerr added 54 commits 2021-07-23 18:31:20 +02:00
Reviewed-on: #55
Reviewed-by: Jakob.Meier <meierj@irs.uni-stuttgart.de>
Reviewed-on: #56
Reviewed-by: Robin Müller <muellerr@irs.uni-stuttgart.de>
Reviewed-on: #57
Reviewed-by: Jakob.Meier <meierj@irs.uni-stuttgart.de>
muellerr added 2 commits 2021-07-23 18:32:23 +02:00
muellerr merged commit 521601fc6a into master 2021-07-23 18:32:36 +02:00
muellerr added this to the v1.4.0 milestone 2021-07-23 18:44:48 +02:00
Sign in to join this conversation.
No description provided.