[02:34:52] Abbott_: yes [02:35:46] The `Core` option has been removed recently, so that is the only behavior now [02:38:45] https://review.gerrithub.io/c/388295/ That's the patch. Merged a month ago [05:02:07] *** Joins: darsto_ (~dstojacx@89-68-135-211.dynamic.chello.pl) [05:02:31] *** darsto_ is now known as Guest13958 [05:04:46] *** Quits: darsto__ (~dstojacx@89-68-135-211.dynamic.chello.pl) (Ping timeout: 265 seconds) [05:34:46] *** Guest13958 is now known as darsto_ [07:52:10] *** Quits: gila (~gila@5ED4D9C8.cm-7-5d.dynamic.ziggo.nl) (Read error: Connection reset by peer) [07:52:23] *** Joins: gila (~gila@5ED4D9C8.cm-7-5d.dynamic.ziggo.nl) [07:56:50] *** Quits: gila (~gila@5ED4D9C8.cm-7-5d.dynamic.ziggo.nl) (Ping timeout: 255 seconds) [09:44:15] *** Joins: gila (~gila@5ED4D9C8.cm-7-5d.dynamic.ziggo.nl)