Summary of changes: 3c13f1f... Initialize branch F-13 for nant (*) 3d333df... dist-git conversion (*) 0541ca3... Added arm macro to ExclusiveArch (*) 7789476... Merge branch 'f13' into f14 (*) This commit already existed in another branch; no separate mail sent