#805: [bin] rename kernel pkgs bump scripts, make them more meaningful

This commit is contained in:
Fabio Erculiani 2012-07-30 13:23:48 +02:00
commit 9b1e04ab51

@ -1 +1 @@
Subproject commit 1bfe90bed2747d7069df2c425787278f0977d6df
Subproject commit fea6314cd583f53fb9d08d51192861612d75642b