pavel 7108de26ef Add a comment reminding to update the release documentation when the ...

list of released kernel images change.

2007-07-24 10:20:15 +00:00

..

Makefile

…