Commit 67451d55 authored by Michał Kępień's avatar Michał Kępień

Merge branch 'michal/make-a-sed-script-in-doc-arm-makefile.in-portable-v9_11' into 'v9_11'

[v9_11] Make a sed script in doc/arm/Makefile.in portable

See merge request !3099
parents 7eb9446e 2b073490
Pipeline #34616 passed with stages
in 1 minute and 41 seconds