IRC log for #darcs, 2011-05-21

All times shown according to UTC.

Time	Nick	Message
00:11		alexsuraci joined #darcs
00:17		pumpkin left #darcs
00:20		dons joined #darcs
00:33		alexsuraci left #darcs
00:33		zooko joined #darcs
00:34		alexsuraci joined #darcs
00:42		alexsuraci left #darcs
00:43		copumpkin joined #darcs
00:47		alexsuraci joined #darcs
00:55		alexsuraci left #darcs
00:56		alexsuraci joined #darcs
01:07		secorp joined #darcs
01:30		owst left #darcs
01:41		zooko left #darcs
01:49		iago left #darcs
02:31		dons left #darcs
02:48		alexsuraci left #darcs
02:48		alexsuraci` joined #darcs
02:49		intripoon joined #darcs
02:53		intripoon_ left #darcs
03:58		alexsuraci` is now known as alexsuraci
04:58		sm left #darcs
05:42		jderque joined #darcs
05:54		JaffaCake1 joined #darcs
05:58		JaffaCake left #darcs
06:08		copumpkin left #darcs
06:09		copumpkin joined #darcs
06:09		copumpkin left #darcs
06:09		copumpkin joined #darcs
06:29		balor_ joined #darcs
06:35		balor_ left #darcs
07:45		jeltsch joined #darcs
08:00		jeltsch left #darcs
08:25		jeltsch joined #darcs
08:29		jeltsch left #darcs
08:37		jeltsch joined #darcs
09:17		owst joined #darcs
09:25		jonkri joined #darcs
09:29		raichoo joined #darcs
09:46		balor_ joined #darcs
10:19		jeltsch left #darcs
10:24		shenshei left #darcs
10:25		shenshei joined #darcs
10:33		jeltsch joined #darcs
11:24		jeltsch left #darcs
11:30		jderque left #darcs
11:53		raichoo left #darcs
12:28		raichoo joined #darcs
12:31		raichoo left #darcs
12:34		jeltsch joined #darcs
12:35		gwern left #darcs
12:54		jonkri left #darcs
12:58		balor_ left #darcs
12:59		balor_ joined #darcs
13:00		balor_ left #darcs
13:01		balor_ joined #darcs
13:05		balor_ left #darcs
13:05		balor_ joined #darcs
13:34		balor_ left #darcs
13:42		copumpkin left #darcs
13:43		copumpkin joined #darcs
13:49		jeltsch left #darcs
14:02		jeltsch joined #darcs
14:08		balor_ joined #darcs
14:18		rks joined #darcs
14:36		rks left #darcs
14:42		jderque joined #darcs
14:59		jeltsch left #darcs
15:05		jeltsch joined #darcs
15:05		jeltsch left #darcs
15:19		sm joined #darcs
15:34		lelit left #darcs
16:30		raichoo joined #darcs
16:52		sm left #darcs
16:54		zooko joined #darcs
18:04		jeltsch joined #darcs
18:04		balor_ left #darcs
18:51		alexsuraci left #darcs
18:52		alexsuraci joined #darcs
18:57		zooko left #darcs
19:10		dons joined #darcs
19:16		zooko joined #darcs
19:22		balor_ joined #darcs
19:23		zooko is now known as zookophone
19:25		balor_ left #darcs
19:26		balor_ joined #darcs
19:29		balor_ left #darcs
19:29		balor_ joined #darcs
19:31		alexsuraci left #darcs
19:33		alexsuraci joined #darcs
19:36		jeltsch left #darcs
20:02		owst left #darcs
20:03		owst joined #darcs
20:03		zookophone is now known as zooko
20:21		jeltsch joined #darcs
20:25		balor_ left #darcs
20:31		zooko left #darcs
20:33		balor joined #darcs
20:43		alexsuraci left #darcs
20:43		alexsuraci joined #darcs
20:58		copumpkin is now known as Is
20:58		Is is now known as ls
20:58		ls is now known as copumpkin
21:33		jeltsch left #darcs
21:37		jderque left #darcs
21:41	owst	Hey Heffalump, just saw your message on the patch I submitted. I agree, but I couldn't see how to solve the specific bug, without making the changes I did :(
21:45	owst	Also, I can't think of a time when you wouldn't want it to fail if you typoed? Shell globbing isn't going to fail... I think
22:13		gwern joined #darcs
22:13		gwern left #darcs
22:13		gwern joined #darcs
22:21		iago joined #darcs
22:30		pierreee left #darcs
22:53		gwern left #darcs
23:04		pierreee joined #darcs
23:07		alexsuraci left #darcs
23:08		alexsuraci joined #darcs
23:39		balor left #darcs
23:47		raichoo left #darcs