fix_issues_raised_in_PR_7 #23

Merged
schatz merged 6 commits from fix_issues_raised_in_PR_7 into main 2022-12-02 12:58:06 +01:00

6 Commits

Author SHA1 Message Date
Serafeim Chatzopoulos ac7554cb8a Minor rephrasing 2022-12-02 13:57:16 +02:00
Serafeim Chatzopoulos 1e2e95cc08 Merge branch 'main' into 'fix_issues_raised_in_PR_7' 2022-12-02 13:39:13 +02:00
Serafeim Chatzopoulos a844ac459c Align references in aggregation section with those in relevant pubs 2022-11-29 14:21:52 +02:00
Serafeim Chatzopoulos f4f84a5a31 Fix typos 2022-11-29 14:16:22 +02:00
Andreas Czerniak ce17228075 contributing APIs wiki page, CAP, DRIS 2022-11-10 12:26:43 +01:00
Andreas Czerniak 849901f231 add redmine page 2022-11-10 12:15:55 +01:00