manager: explain the TID number in logs - Githubissues

praiskup / resalloc

Allocator and manager for (expensive) resources

GNU General Public License v2.0

7 stars 7 forks source link

manager: explain the TID number in logs #110

Closed praiskup closed 2 years ago