This file is indexed.

/usr/share/mysql/docs/INFO_SRC is in mysql-server-5.7 5.7.21-1ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
commit: e056e86f8d226caa0291653bb5a0941d869136ee
date: 2017-12-28 04:43:47 +0100
build-date: 2017-12-28 04:46:38 +0100
short: e056e86
branch: mysql-5.7.21-release

MySQL source 5.7.21