Repository navigation

[spec] Remove an obsolete exec step - #1580

Merged

rossberg merged 1 commit into

mainfrom

rossberg-patch-3

Jan 24, 2023

Merged

[spec] Remove an obsolete exec step#1580
rossberg merged 1 commit into
mainfrom
rossberg-patch-3

Commits on Jan 22, 2023
- [spec] Remove an obsolete exec step
  rossberg
  authored
  0bbd252