update tomcat to 8.5.23

LEPILLER JulienThu Oct 12 14:31:22+0200 2017

6317ccf

guix-more/more
namelast commitdate
packages/update tomcat to 8.5.23Thu Oct 12 14:31:22+0200 2017