Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
- h5_setprop_file_corevfd(): bugfix