Re: [PATCH 0/5] MR7631: server: Clarify between effective thread priority and class/level. - approved

[Rémi Bernon (＠rbernon)]

This merge request was approved by Rémi Bernon.