Files for check-in 8998f05e2e99d7c2 and within directory build/docker sorted by filename

File ages are expressed relative to the check-in time of 2017-10-30 18:03:48.