Wladimir J. van der Laan
a9d1b40d53
Merge #21415 : refactor: remove Optional & nullopt
...
ebc4ab721b refactor: post Optional<> removal cleanups (fanquake)
57e980d13c scripted-diff: remove Optional & nullopt (fanquake)
Pull request description:
Same rationale & motivation as #21404 , which turned out to be quite low in the number of potential conflicts. Lets see what the bot has to say here.
ACKs for top commit:
practicalswift:
cr ACK ebc4ab721b : patch looks correct
jnewbery:
utACK ebc4ab721b
laanwj:
Code review ACK ebc4ab721b
Tree-SHA512: 550fbeef09b9d35ddefaa805d1755c18c8fd499c4b0f77ebfece8c20296a7abd1cf6c699e2261f92fe3552deeb7555ec2a2287ffe3ab9e98bb9f8612a4d43be3
2021-03-17 12:17:33 +01:00
..
2021-03-17 12:17:33 +01:00
2021-03-10 14:31:10 +08:00
2021-03-11 13:45:14 +08:00
2021-03-17 14:56:20 +08:00
2021-03-17 14:56:20 +08:00
2021-03-17 12:17:33 +01:00
2021-03-17 12:17:33 +01:00
2021-03-17 14:56:20 +08:00
2021-03-17 12:17:33 +01:00
2021-03-17 12:17:33 +01:00
2021-03-17 12:17:33 +01:00
2021-03-11 13:45:14 +08:00
2021-02-18 10:07:37 +00:00
2021-02-18 15:08:35 +01:00
2021-02-18 15:08:35 +01:00
2021-03-17 14:56:20 +08:00
2021-03-17 14:56:20 +08:00
2021-02-18 09:40:42 +01:00
2021-03-11 13:45:14 +08:00
2021-03-01 17:36:16 +01:00
2021-03-02 16:05:28 +00:00
2021-03-02 16:05:28 +00:00
2021-02-23 14:34:30 +01:00
2021-03-11 13:45:14 +08:00
2021-03-16 11:00:57 +01:00
2021-03-16 11:00:57 +01:00
2021-03-16 15:10:47 +01:00
2021-03-04 18:24:00 +01:00
2021-03-01 18:19:37 +01:00
2021-03-01 18:19:37 +01:00
2021-03-17 12:17:33 +01:00
2021-02-21 21:01:02 +02:00
2021-03-04 12:34:46 +08:00
2021-03-04 12:34:46 +08:00
2021-03-15 18:56:06 +01:00
2021-03-17 14:56:20 +08:00
2021-03-17 14:56:20 +08:00
2021-03-17 12:17:33 +01:00
2021-03-04 20:13:43 +08:00
2021-03-17 14:56:20 +08:00
2021-03-17 14:56:20 +08:00
2021-03-01 18:19:46 +01:00
2021-03-01 13:22:11 +01:00
2021-03-15 16:53:25 +01:00
2021-03-15 16:57:48 +01:00
2021-03-17 14:56:20 +08:00
2021-02-18 07:53:37 +01:00
2021-03-04 18:24:00 +01:00
2021-03-15 10:41:30 +08:00
2021-03-15 10:41:30 +08:00
2021-03-02 12:21:32 +00:00
2021-03-02 12:21:32 +00:00
2021-03-11 13:45:14 +08:00
2021-03-17 14:56:20 +08:00
2021-03-17 14:56:20 +08:00
2021-02-27 01:08:09 +10:00
2021-03-02 19:40:11 +10:00
2021-03-11 13:45:14 +08:00
2021-03-17 12:17:33 +01:00
2021-03-17 12:17:33 +01:00
2021-03-01 17:56:07 -05:00