This concerns Array, Table, TinyVector and TinyMatrix by now.
Checking pipeline status.
assigned to @delpino
enabled an automatic merge when the pipeline for a778819d succeeds
mentioned in commit 991199e3
merged