Folders for check-in 0a425cfb5d3e7f9d and within directory contrib/disabled sorted by filename

File ages are expressed relative to the check-in time of 2016-12-17 11:01:22.