web server: Treat upgrade requests as case-insensitive. master
-rw-r--r-- 494 .gitignore
-rw-r--r-- 1132 8sync.scm
drwxr-xr-x - 8sync
-rw-r--r-- 7652 COPYING
-rw-r--r-- 35147 COPYING-gplv3.txt
-rw-r--r-- 15752 INSTALL
-rw-r--r-- 3334 Makefile.am
-rw-r--r-- 7563 NEWS
-rw-r--r-- 1879 README
-rwxr-xr-x 27 bootstrap.sh
drwxr-xr-x - build-aux
-rw-r--r-- 382 configure.ac
drwxr-xr-x - demos
drwxr-xr-x - doc
-rw-r--r-- 404 env.in
-rw-r--r-- 2982 guix.scm
-rw-r--r-- 1214 pre-inst-env.in
drwxr-xr-x - tests