Skip to content
Snippets Groups Projects
Commit 45bd7d50 authored by Cédric Moreau's avatar Cédric Moreau
Browse files

[fix] #1126 The prefix gets mixed with core ID when we have 10+ cores

parent d595e742
Branches
Tags
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment