tree cc8f6e71c957fac3f945331b2f9c372e5cfd1d38
parent 6ecc3f81418f623024993d694016451c652a5da8
author Davide Pesavento <davidepesa@gmail.com> 1550618625 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1550618625 -0500

core+main: switch to std::thread and thread_local

Change-Id: I892eb7d87639c2b0d24a8ed457b9d32635269216