Update spec lock#1221

plaindocs wants to merge 1 commit into

mainSafety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines:mainfrom

lockSafety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines:lockCopy head branch name to clipboard