klipse 2018-05-14

@haochenx has joined the channel

@raul.guajardo has joined the channel