Chat log from the meeting on 2015-10-06

Office hour starting in a minute or so ;-)