fanquake
69f4f2c433
Merge #18357 : Fix missing header in sync.h
...
686c5456f2 Fix missing header in sync.h (João Barbosa)
Pull request description:
`std::string` is referenced in `sync.h` but the relevant header is not explicitly included as required by current guideline. Furthermore on osx 10.14.6 with clang-900.0.31 the following error occurs:
```
In file included from threadinterrupt.cpp:6:
In file included from ./threadinterrupt.h:8:
./sync.h:206:21: error: implicit instantiation of undefined template 'std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >'
std::string lockname;
```
ACKs for top commit:
practicalswift:
ACK 686c5456f2
laanwj:
ACK 686c5456f2
Tree-SHA512: 7c1acdfa5b0dd148d1114e14c9450d5907006e63e1a04e82ed8a1e29757925476e6f8ef6024b0c6d1bb596623115209ad580d5035be1e4785337bd01b738c9f2
2020-03-16 20:04:54 +08:00
..
2020-03-14 21:03:45 +01:00
2019-12-30 10:42:20 +13:00
2020-02-27 17:59:21 -08:00
2020-01-28 17:00:01 +01:00
2020-01-16 15:58:35 -05:00
2020-03-02 17:26:30 +09:00
2020-03-09 11:16:20 -04:00
2020-01-28 16:59:07 +01:00
2020-03-02 23:07:21 -08:00
2020-03-02 23:07:21 -08:00
2020-01-15 02:18:00 +07:00
2019-12-30 10:42:20 +13:00
2020-03-16 10:51:11 +01:00
2020-03-13 10:23:19 +08:00
2020-03-14 21:03:45 +01:00
2019-12-30 10:42:20 +13:00
2020-03-13 22:45:09 +01:00
2020-02-09 07:44:29 -08:00
2020-03-09 11:16:20 -04:00
2020-03-11 13:28:57 -04:00
2020-02-25 22:35:58 +07:00
2019-10-14 13:24:54 +03:00
2019-12-30 10:42:20 +13:00
2020-01-02 11:05:36 -08:00
2020-03-04 14:24:19 +01:00
2020-03-04 14:24:19 +01:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2020-01-15 02:18:00 +07:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-10-16 08:56:57 -07:00
2019-09-05 13:25:11 +12:00
2020-02-21 10:06:21 -08:00
2019-12-30 10:42:20 +13:00
2020-01-14 18:19:00 +00:00
2020-02-21 10:06:21 -08:00
2019-12-30 10:42:20 +13:00
2020-02-25 14:10:44 -08:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2020-02-10 12:00:10 -08:00
2020-02-13 08:59:51 -08:00
2020-02-13 08:59:51 -08:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-10-02 08:51:12 +02:00
2020-01-21 14:07:42 +00:00
2019-12-30 10:42:20 +13:00
2020-01-21 20:29:11 -08:00
2019-12-30 10:42:20 +13:00
2020-03-05 15:25:36 -05:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-11-29 21:23:25 +02:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2020-01-15 02:18:00 +07:00
2020-02-10 12:00:10 -08:00
2020-01-04 20:18:28 +02:00
2019-12-30 10:42:20 +13:00
2020-02-21 10:06:21 -08:00
2019-12-30 10:42:20 +13:00
2020-02-18 08:29:35 +01:00
2019-12-30 10:42:20 +13:00
2020-01-31 12:36:13 +00:00
2020-03-06 23:13:31 +10:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2020-01-15 02:18:00 +07:00
2020-01-15 02:18:00 +07:00
2020-03-09 11:16:17 -04:00
2019-11-25 16:40:09 +01:00
2020-01-28 17:01:48 +01:00
2020-01-28 17:01:48 +01:00
2020-01-06 22:58:47 -05:00
2019-11-21 19:38:39 +01:00
2019-11-21 21:13:08 +01:00
2019-11-25 16:40:09 +01:00
2020-03-11 13:02:43 -04:00
2020-01-31 12:36:13 +00:00
2019-12-30 10:42:20 +13:00
2020-02-27 17:59:07 -08:00
2019-12-23 06:12:10 +07:00
2020-01-08 12:35:59 +00:00
2020-02-11 07:44:12 -08:00
2020-03-11 06:57:55 +00:00
2020-01-29 09:37:21 -05:00
2019-10-29 11:30:12 +02:00
2020-03-04 13:45:29 -05:00
2020-03-04 13:45:29 -05:00
2020-03-04 14:31:31 +01:00
2020-03-04 14:31:31 +01:00
2020-01-22 20:20:45 +01:00
2020-01-08 12:35:59 +00:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2020-02-12 11:48:30 -05:00
2020-01-23 16:35:06 -05:00
2020-02-15 19:49:24 -08:00
2019-10-02 10:39:14 -04:00
2019-12-11 17:00:27 -05:00
2020-01-29 19:39:50 +08:00
2020-01-16 18:25:11 -08:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2020-02-28 14:56:49 -08:00
2019-11-12 14:50:44 -08:00
2019-12-30 10:42:20 +13:00
2020-03-06 23:14:08 +10:00
2020-03-06 23:14:08 +10:00
2020-03-05 19:56:26 +01:00
2019-12-30 10:42:20 +13:00
2020-03-06 23:13:31 +10:00
2020-03-15 22:43:39 +00:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2020-01-15 02:18:00 +07:00
2019-12-06 10:02:08 +01:00
2020-01-08 12:35:59 +00:00
2019-12-30 10:42:20 +13:00
2020-02-10 12:00:10 -08:00
2020-01-15 02:18:00 +07:00
2020-01-14 19:30:13 -08:00
2020-03-02 23:07:21 -08:00
2020-01-15 02:18:00 +07:00
2020-01-15 02:18:00 +07:00
2020-01-23 16:35:08 -05:00
2020-01-23 16:35:08 -05:00
2020-02-06 19:08:11 -08:00
2020-02-27 17:59:07 -08:00
2020-01-15 02:18:00 +07:00
2020-02-27 17:59:07 -08:00
2020-01-15 02:18:00 +07:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00
2019-12-30 10:42:20 +13:00