2 Commits

Author	SHA1	Message	Date
Rémy Tassoux	15e886daeb	[josuttis-jthread] Fix include path (#13040)	2020-08-24 11:20:02 -07:00
Rémy Tassoux	3d9934a4ef	[jthread] Initial port (#12497) ... * [jthread] Initial port https://github.com/josuttis/jthread * [jthread] Add header only comment Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com> * [jthread] Fix version date Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com> * [jthread] Move headers to include directory Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com> * [jthread] Rename the port josuttis-jthread * [jthread] Fix control port name Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com> Co-authored-by: Rémy Tassoux <rt2@rasterizedworld.com>	2020-08-05 15:53:02 -07:00