Comment # 16 on bug 1187726 from Giacomo Comes

(In reply to Joey Lee from comment #15)
> Hi Giacomo, 
> 
> Do you still see problem with new kernel-default package in
> Kernel:stable:Backport repo?

Hi,
the issue is fixed. This bug can be closed.
I have tough a remark. In comment 2, Michal was suggesting to use a single
project for both the stable kernel and the kmp modules. This was done at the
beginning. The kmp rpms were available in Kernel:stable:Backport. However due
to the pesign-obs-integration bug Kernel:stable:Backport:KMP was created.
May be now the two projects can be merged?