Skip to content

Comments

Metadata API: preserve Role.keyids order#1481

Merged
jku merged 1 commit intotheupdateframework:developfrom
MVrachev:fix-role-keyids-order
Jul 15, 2021
Merged

Metadata API: preserve Role.keyids order#1481
jku merged 1 commit intotheupdateframework:developfrom
MVrachev:fix-role-keyids-order

Commits

Commits on Jul 9, 2021