Skip to content
Snippets Groups Projects
Commit 2532b96a authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

[kernel] Better API for message keys 

- Debug_category is now only used for its side-effects, the only
  relevant state is in Log.messages
- allow to use `String.split_on_char` in `Transitioning`
parent f6c36974
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 69 additions and 40 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment