checkStamp: prevent array size promotion/truncation
Passed
anonymouspage
created pipeline for commit
ca9f6f09
, finished
Related merge request !213 to merge checkstamp-array-parameter
8 minutes 24 seconds, queued for 21 seconds