[arch-general] Linux kernel 4.0.2-1 flagged out-of date.

[Francis Gerund]

Hi.

Linux kernel 4.0.2-1 is flagged out-of date, just hours after release.  But
pacmatic keeps offering it as an update (along with other packages), with
no warning message.

I am using Linux kernel 4.0.1-1-ARCH (X-64).

Should I go ahead and update, or wait for Linux kernel 4.0.3-1?