Skip to content

src: delete MicroTaskPolicy namespace

Rodrigo Muino Tomonari requested to merge github/fork/juanarbol/juanarbol/remove-microtaskpolicy-np into master

Maybe you're tired of this kind of PR, but what I do is just read codebase, try to understand and make sure that every namespace is being used, sooner I'll be doing the same but with header files. Sorry for the kind of "spam" PR

Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • commit message follows commit guidelines

Merge request reports