<2 new commits> pushed to `<https://github.com/jmp...
# osctrl
g
2 new commits pushed to
<https://github.com/jmpsec/osctrl/tree/develop|develop>
by javuto
<https://github.com/jmpsec/osctrl/commit/83a81b38d12b184445e8b23891b7032edf6ccfb9|83a81b38>
- Close remaining review gaps: Follow-up to #1126 and #1127
<https://github.com/jmpsec/osctrl/commit/e8c4680d6ab4888a76ddcce2055ee9cd9be089ce|e8c4680d>
- Merge pull request #1128 from jmpsec/perm-hardening2 jmpsec/osctrl