Skip to content

D-DT64-7 §1d: record decisions O7–O10 and the execution order - #1901

Merged
AdaWorldAPI merged 1 commit into
mainfrom
ccr-85acaff0-oszq40-o7o10
Oct 31, 2026
Merged

D-DT64-7 §1d: record decisions O7–O10 and the execution order#1901
AdaWorldAPI merged 1 commit into
mainfrom
ccr-85acaff0-oszq40-o7o10

D-DT64-7 §1d: record decisions O7-O10 and the execution order

c21cfd0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar