Update version number to 8722.0-872-rc1
tree13074153bc3394f7f7c81508ec731826d195cc51
-rw-r--r-- 4 .gitignore
-rw-r--r-- 18009 COPYING
-rw-r--r-- 5293 Changelog
-rw-r--r-- 4389 Makefile
-rw-r--r-- 44322 README
-rw-r--r-- 512 THANKS
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - test
drwxr-xr-x - usr
drwxr-xr-x - utils