Sunday, 2019-10-13

rdogerritrdo-trunk proposed rdoinfo master: Bump rdoinfo stein tags to latest upper-constraints  https://review.rdoproject.org/r/2307700:05
*** imcleod has quit IRC00:06
*** imcleod has joined #rdo00:21
*** Goneri has quit IRC00:22
*** imcleod has quit IRC00:27
*** imcleod has joined #rdo00:46
*** imcleod has quit IRC01:04
*** LaurentDumont has joined #rdo01:23
*** apetrich has quit IRC02:09
*** dsneddon has quit IRC02:16
*** dsneddon has joined #rdo02:17
*** dsneddon has quit IRC02:22
*** imcleod has joined #rdo02:34
*** dsneddon has joined #rdo02:37
*** imcleod has quit IRC02:39
*** imcleod has joined #rdo02:39
rdogerritrdo-trunk created rdoinfo master: CBS tags sync with uc for train-candidate  https://review.rdoproject.org/r/2311802:51
*** imcleod has quit IRC03:31
*** Goneri has joined #rdo05:21
*** holser has joined #rdo05:27
*** ykarel has joined #rdo05:28
*** Goneri has quit IRC06:00
*** number80 has quit IRC07:29
*** number80 has joined #rdo07:31
*** radeks_ has joined #rdo07:43
*** holser has quit IRC07:45
*** jtomasek has joined #rdo07:56
*** mhu has joined #rdo08:19
*** radeks_ has quit IRC08:37
*** slaweq has joined #rdo08:39
*** jtomasek has quit IRC08:59
*** slaweq_ has joined #rdo09:17
*** slaweq has quit IRC09:17
*** jtomasek has joined #rdo09:18
*** slaweq__ has joined #rdo09:25
*** slaweq_ has quit IRC09:26
*** imcleod has joined #rdo09:27
*** imcleod has quit IRC09:35
*** slaweq__ has quit IRC09:51
*** dsneddon has quit IRC09:52
*** imcleod has joined #rdo10:03
*** imcleod has quit IRC10:08
*** dsneddon has joined #rdo10:17
*** holser has joined #rdo10:21
*** xek_ has joined #rdo10:29
*** dsneddon has quit IRC11:47
*** jmlowe has quit IRC12:20
*** xek_ has quit IRC12:26
*** holser has quit IRC12:35
*** gregwork has quit IRC12:40
*** rfolco has joined #rdo13:36
*** ykarel has quit IRC13:42
*** gouthamr has quit IRC14:04
*** gouthamr has joined #rdo14:07
*** rfolco has quit IRC14:45
*** dsneddon has joined #rdo15:12
*** dsneddon has quit IRC15:16
*** bnemec has quit IRC15:55
*** dsneddon has joined #rdo16:02
*** dsneddon has quit IRC16:08
*** xek_ has joined #rdo16:35
*** ykarel has joined #rdo17:09
*** holser has joined #rdo17:12
*** mburned is now known as mburned_out18:08
*** dsneddon has joined #rdo18:42
*** dsneddon has quit IRC18:47
*** holser has quit IRC19:07
*** number80 has quit IRC19:14
*** aufi has joined #rdo19:30
*** holser has joined #rdo19:45
*** ykarel has quit IRC19:48
*** aufi has quit IRC20:13
*** dsneddon has joined #rdo20:20
*** dsneddon has quit IRC20:26
*** chem has quit IRC20:37
*** dsneddon has joined #rdo20:45
*** xek_ has quit IRC21:07
*** dsneddon has quit IRC21:13
*** dsneddon has joined #rdo21:13
*** dsneddon has quit IRC21:33
*** dsneddon has joined #rdo21:53
*** holser has quit IRC21:56
*** fultonj has joined #rdo22:19
*** holser has joined #rdo22:37
*** rcernin has joined #rdo23:11
*** rcernin has quit IRC23:17
*** rcernin has joined #rdo23:17
*** holser has quit IRC23:18
*** imcleod has joined #rdo23:43
*** cyberworm54 has joined #rdo23:49
*** cyberworm54 has quit IRC23:50
*** imcleod has quit IRC23:57

Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!