[07:41] <dholbach> good morning
[09:03] <alourie> good morning
[15:35] <bddebian> Boo
[15:35] <AnAnt> bddebian: Hello
[15:36] <bddebian> Hi AnAnt
[15:36] <AnAnt> bddebian: you removed verilog, right ?
[15:36] <bddebian> AnAnt: Yep
[15:36] <AnAnt> bddebian: thanks
[20:36] <mikefletcher> How long after a bug is marked 'Fix Released' does the fix appear in the daily iso's?  What time are the iso's generated?
[20:37] <rockstar> mikefletcher, looks like 7 AM-ish UTC?
[20:37] <mikefletcher> rockstar: thanks.  I wasn't sure what timezone the timestamps were for.