Summary of changes: 35fbf56... Initialize branch F-13 for clisp (*) 9b7e0e0... - new release 2.48 (*) 532276b... dist-git conversion (*) b8dfd5a... Merge remote branch 'origin/f13/master' (*) This commit already existed in another branch; no separate mail sent