devel/criterion: Update 2.4.1 → 2.4.1-13
This updates unbreaks criterion: the previous version was broken with
the previous revision of nanopb.
(cherry picked from commit 8cb13effe152bc58e0ba52e162482d742b3ed603)
Description
Description
Details
Details
- Provenance
yuri Authored on Mar 12 2023, 6:45 AM - Parents
- R11:d2e0030812d9: devel/nanopb: Update 0.4.7-3 → 0.4.7-7
- Branches
- Unknown
- Tags