Our head librarian asked me to upgrade Koha from 3.10.2 to 3.10.13 Server is running Debian. We are not using git. Where do I find instruction on how exactly this minor upgrade can be done? Rudy Wuthrich Kodaikanal International School