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

File ages are expressed relative to the check-in time of 2020-06-28 02:42:32.