tree 6e41e42c109753250a0a6fa7fddf28758b0a277e
parent 163a6fae8f0dfee194fe636941e531f0b39b5293
author Marc Kupietz <kupietz@ids-mannheim.de> 1662454528 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1662457210 +0200

use slice_head instead of head for potential tibbles

Change-Id: I1ce68ed52209ebaf22e0e29df9ac7281d83e4bc8