Time  Nick        Message
01:10 Kimapr      what is a "linux theme"?
03:42 bdju        I would think gtk or qt theme, maybe icon theme
07:26 jas_        !title https://youtube.com/watch?v=_huZpoCw4u8
07:26 MinetestBot jas_: Cannon - YouTube
18:11 MinetestBot 02[git] 04SmallJoker -> 03minetest/minetest: ContentCAO: Fix segfault on quit (attached) 13cbcb9e0 https://git.io/JeWy1 (152019-10-09T18:03:31Z)
18:40 MinetestBot 02[git] 04paramat -> 03minetest/minetest: Fix isDead()/autoforward crash (#9031) 13f483a1a https://git.io/JeWSe (152019-10-09T18:39:50Z)