ADDED: git_shortlog/3: Unix time stamp to output record
ADDED: git_shortlog/3: Unix time stamp to output record

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel