Code

gitweb: Fix handling of $file_name in feed generation