A quick reminder, yesterday at #dcd18 it was suggested that we should start saying good morning here eachmost days. I intend to start with that tomorrow.

ooh. and I suggest we use UGT --> http://www.total-knowledge.com/~ilya/mips/ugt.html

Good morning, Thomas