#lima on 2019-06-28 — irc logs at freenode.irclog.whitequark.org

00:00 <anarsoul> rellla: ouch, it lowered cos for some reason

00:00 <anarsoul> rellla: but we definitely don't want to do that for ppir

00:01 <anarsoul> we have native instructions there

00:06 ninolein has quit [Ping timeout: 252 seconds]

00:06 ninolein has joined #lima

00:38 BenG83 has quit [Ping timeout: 252 seconds]

01:10 BenG83 has joined #lima

02:14 <rellla> anarsoul: ouch... see my response on github... sry for the noise *duck*

02:38 dddddd has quit [Remote host closed the connection]

03:11 <anarsoul> yeah, I commented on MR as well

03:28 jrmuizel has quit [Remote host closed the connection]

03:35 jrmuizel has joined #lima

03:44 jrmuizel has quit [Remote host closed the connection]

04:12 BenG83 has quit [Remote host closed the connection]

04:13 BenG83 has joined #lima

04:14 BenG83 has quit [Remote host closed the connection]

04:14 BenG83 has joined #lima

05:14 Barada has joined #lima

06:10 guillaume_g has joined #lima

06:13 adjtm has quit [Read error: Connection reset by peer]

06:13 adjtm has joined #lima

06:24 BenG83 has quit [Ping timeout: 244 seconds]

06:32 ggardet has joined #lima

06:35 guillaume_g has quit [Ping timeout: 245 seconds]

06:52 romainmahoux[m] has quit [Remote host closed the connection]

06:52 z3ntu has quit [Write error: Connection reset by peer]

06:53 dddddd has joined #lima

06:56 ggardet is now known as guillaume_g

06:56 guillaume_g has quit [Quit: Konversation terminated!]

06:56 guillaume_g has joined #lima

07:02 z3ntu has joined #lima

07:31 romainmahoux[m] has joined #lima

08:29 deesix has quit [Ping timeout: 252 seconds]

08:29 dddddd has quit [Ping timeout: 268 seconds]

08:32 deesix has joined #lima

08:38 dddddd has joined #lima

08:48 hoijui has joined #lima

09:21 adjtm has quit [Quit: Leaving]

09:38 _whitelogger has joined #lima

09:45 dddddd has quit [Remote host closed the connection]

10:00 cwabbott has quit [Quit: cwabbott]

10:02 cwabbott has joined #lima

10:12 hoijui has quit [Quit: Leaving]

10:33 Wizzup has quit [Ping timeout: 252 seconds]

10:40 Wizzup has joined #lima

10:56 adjtm has joined #lima

10:58 <rellla> anarsoul: fyi, i just commented with the right result :)

10:58 <rellla> 195 fixes.

11:41 jrmuizel has joined #lima

12:28 Barada has quit [Quit: Barada]

12:34 jrmuizel has quit [Remote host closed the connection]

13:06 Net147 has quit [Quit: Quit]

13:13 adjtm has quit [Quit: Leaving]

13:17 jrmuizel has joined #lima

13:31 adjtm has joined #lima

13:35 afaerber has quit [Quit: Leaving]

13:40 dddddd has joined #lima

13:59 afaerber has joined #lima

14:31 hoijui has joined #lima

14:46 adjtm has quit [Remote host closed the connection]

15:39 drod has joined #lima

15:43 guillaume_g has quit [Quit: Konversation terminated!]

16:10 jrmuizel has quit [Remote host closed the connection]

16:23 _whitelogger has joined #lima

16:42 hoijui has quit [Ping timeout: 245 seconds]

17:50 drod has quit [Read error: Connection reset by peer]

17:51 drod has joined #lima

17:51 hoijui has joined #lima

18:56 afaerber has quit [Quit: Leaving]

19:03 hoijui has quit [Ping timeout: 245 seconds]

19:17 jrmuizel has quit [Remote host closed the connection]

19:48 jrmuizel has joined #lima

19:54 drod has quit [Read error: Connection reset by peer]

19:55 drod has joined #lima

20:43 jrmuizel has quit [Remote host closed the connection]

20:43 jrmuizel has joined #lima

21:04 jrmuizel has quit [Remote host closed the connection]

22:13 afaerber has joined #lima

22:15 sunshavi has quit [Ping timeout: 248 seconds]

22:20 jrmuizel has joined #lima

22:29 jrmuizel has quit [Remote host closed the connection]

22:32 jbrown has quit [Ping timeout: 252 seconds]

22:41 jbrown has joined #lima

23:50 adjtm has joined #lima