[18:23] <ad-n770> hi, we saw some back and forth for between kernel 4.13 and for 4.15 for linux-generic-hwe-16.04 package earlier this week
[18:23] <ad-n770> please could you tell me what are the plans with respect updating the kernel?
[19:01] <tomreyn> ad-n770: back and forth how? do you mean hwe vs hwe-edge?
[19:02] <ad-n770> we saw linux-generic-hwe-16.04 pull a 4.15 kernel earlier this week
[19:02] <ad-n770> but today it's referring to a 4.13 kernel again
[19:07] <tomreyn> ok, that's news to me. i'm not part of the kernel team (nor an ubuntu developer), so can't confirm this observation nor reliably answer your question.
[20:11] <corn13read> Anyone know why kernel.ubuntu.com is down?
[20:14] <corn13read> or how long it will be down?
[20:14] <corn13read> port 80 is closed
[20:14] <corn13read> possibly just a FW issue
[20:50] <tomreyn> this was since solved by #canonical-sysadmin
[20:51] <corn13read> appreciate it
[20:52] <tomreyn> so do i