move rfc 0180 from proposed to active

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 25, 2024 · f5500fe · f5500fe
1 parent 9d7864b
commit f5500fe
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/proposed/0180-fpu-switching.md → src/active/0180-fpu-switching.md b/src/proposed/0180-fpu-switching.md → src/active/0180-fpu-switching.md