[01:50] good morning === guiverc2 is now known as guiverc [04:15] Heya [07:37] Is it too much to ask that the properties of the OS would also show the kernel version? [07:41] good morning [09:50] marcoagpinto: bug wishlist to the rescue [09:51] lotuspsychje: >:)