Hi everyone, This is really short notice, and I apologize for it. Can we schedule next Tech WG meeting on Monday (10.2.2014), in two days, on #hot IRC at 17:00 UTC? If you have any questions, raise them on this thread, or during check-ins on IRC. Dražen