00:09:58  * Fishrock123quit (Remote host closed the connection)
00:11:54  * AtumTquit (Remote host closed the connection)
01:10:53  * Fishrock123joined
01:15:05  * Fishrock123quit (Ping timeout: 246 seconds)
02:15:37  * Fishrock123joined
02:42:25  * Fishrock123quit (Remote host closed the connection)
02:51:45  * Fishrock123joined
02:59:14  * Fishrock123quit (Quit: Leaving...)
03:01:56  * jwaldenquit (Ping timeout: 252 seconds)
03:06:34  * not-an-aardvarkquit (Quit: Connection closed for inactivity)
03:21:36  * jwaldenjoined
03:34:09  * caridyquit (Remote host closed the connection)
03:34:51  * caridyjoined
03:40:07  <Bakkot>I really like that there is an official test suite, but also strongly prefer they remain in seperate repos
03:40:21  <Bakkot>if nothing else, so it is clear that the spec is strictly more athoritative than the test suite
04:30:25  * caridyquit (Ping timeout: 248 seconds)
05:24:10  * jmdyckquit (Remote host closed the connection)
05:24:35  * gibson042quit (Quit: Leaving.)
06:07:06  * not-an-aardvarkjoined
06:10:35  * jwaldenquit (Ping timeout: 252 seconds)
07:56:58  * gskachkovjoined
08:19:34  * gskachkovquit (Quit: gskachkov)
08:26:28  * gskachkovjoined
08:32:34  * gskachkovquit (Quit: gskachkov)
09:56:47  * not-an-aardvarkquit (Quit: Connection closed for inactivity)
10:13:11  * gskachkovjoined
10:25:08  * mylesborinsquit (Quit: farewell for now)
10:25:38  * mylesborinsjoined
10:45:53  * gskachkovquit (Ping timeout: 248 seconds)
13:03:13  * AtumTjoined
13:05:26  * jmdyckjoined
13:51:07  * gibson042joined
14:21:48  * caridyjoined
14:32:04  * jmdyckquit (Remote host closed the connection)
14:43:13  * gskachkovjoined
14:45:44  * gskachkovquit (Client Quit)
17:21:20  * gskachkovjoined
17:27:26  * gskachkovquit (Quit: gskachkov)
17:34:32  * gskachkovjoined
17:38:24  * gibson042quit (Quit: Leaving.)
18:00:27  * gskachkovquit (Ping timeout: 240 seconds)
18:01:00  * gskachkovjoined
18:05:58  * not-an-aardvarkjoined
18:13:20  * gskachkovquit (Quit: gskachkov)
18:20:47  * gskachkovjoined
19:39:34  * gskachkovquit (Quit: gskachkov)
19:44:43  * gskachkovjoined
19:50:21  * gskachkovquit (Quit: gskachkov)
19:51:24  * gskachkovjoined
19:57:44  * gskachkovquit (Quit: gskachkov)
20:08:39  * rwaldronquit (Remote host closed the connection)
20:08:39  * leobalterquit (Remote host closed the connection)
20:10:40  * leobalterjoined
20:41:28  * gibson042joined
21:38:26  * gskachkovjoined
21:44:38  * jmdyckjoined
22:00:44  * gskachkovquit (Quit: gskachkov)
22:47:44  * gibson042quit (Ping timeout: 252 seconds)
22:58:06  * jmdyckquit (Remote host closed the connection)
23:24:53  * caridyquit (Remote host closed the connection)
23:25:26  * caridyjoined
23:29:27  * caridyquit (Ping timeout: 240 seconds)
23:30:28  * caridyjoined
23:30:37  * caridyquit (Remote host closed the connection)
23:31:03  * caridyjoined
23:31:37  * caridyquit (Remote host closed the connection)
23:31:43  * caridy_joined
23:31:52  * caridy_quit (Remote host closed the connection)
23:32:26  * caridyjoined
23:32:35  * caridyquit (Remote host closed the connection)
23:33:09  * caridy_joined
23:33:17  * caridy_quit (Remote host closed the connection)
23:34:13  * caridyjoined
23:34:22  * caridyquit (Remote host closed the connection)
23:34:54  * caridyjoined
23:35:22  * caridyquit (Remote host closed the connection)
23:35:28  * caridyjoined
23:35:37  * caridyquit (Remote host closed the connection)
23:36:10  * caridyjoined
23:36:19  * caridyquit (Remote host closed the connection)
23:36:25  * caridyjoined
23:36:34  * caridyquit (Remote host closed the connection)
23:37:56  * caridyjoined
23:38:05  * caridyquit (Remote host closed the connection)
23:39:31  * caridyjoined
23:39:34  * caridyquit (Remote host closed the connection)
23:40:56  * caridyjoined
23:41:05  * caridyquit (Remote host closed the connection)
23:41:37  * caridyjoined
23:43:56  * caridyquit (Remote host closed the connection)
23:44:02  * caridyjoined
23:44:11  * caridyquit (Remote host closed the connection)
23:44:43  * caridyjoined
23:46:00  * caridyquit (Remote host closed the connection)
23:46:06  * caridyjoined
23:46:15  * caridyquit (Remote host closed the connection)
23:46:47  * caridyjoined
23:48:32  * caridyquit (Remote host closed the connection)
23:48:38  * caridyjoined
23:48:47  * caridyquit (Remote host closed the connection)
23:56:40  * caridyjoined
23:56:49  * caridyquit (Remote host closed the connection)
23:57:23  * caridyjoined
23:57:32  * caridyquit (Remote host closed the connection)