=== chihchun_afk is now known as chihchun
=== chihchun is now known as chihchun_afk
=== chihchun_afk is now known as chihchun
=== Guest84782 is now known as RAOF
[09:58] <alan_g> greyback: following on our discussion of display vs output... https://code.launchpad.net/~alan-griffiths/miral/deconflate-output-from-display/+merge/328221
[10:00] <greyback> alan_g: ack!
=== chihchun is now known as chihchun_afk
=== RAOF is now known as Guest67307
=== alan_g is now known as alan_g|EOD
=== ogra_ is now known as ogra
=== JanC is now known as Guest68181
=== JanC_ is now known as JanC
[23:33] <xnox> Sarvatt, Trevinho - do we still need content-hub, and does content-hub still need libertine?
[23:33] <xnox> i think we want to drop libertine, no? and can we make content-hub not depend on libertine if that is the case.
[23:34] <Trevinho> xnox: AFAIK no,
[23:34] <xnox> Trevinho, but i thought mir-kiosk people said they want content-hub for copy&paste or something.
[23:35] <Trevinho> xnox: oh, well I'm not much into that discussion honestly...
[23:35] <xnox> or is the no, towards not possible to make the two not working together.
[23:35] <Trevinho> xnox: I think libertine is free to go though
[23:35] <xnox> Trevinho, hm, ok. I just don't seem to see the usual people in the channel.
[23:35] <xnox> hence you got the ping =)
[23:35] <Trevinho> :-D