Summary of changes: aa2c22e... - follow licensing guideline update (*) 6b70307... dist-git conversion (*) 6501a74... - updated to 3.1.7 (*) be0045a... - updated to 3.1.7 (*) This commit already existed in another branch; no separate mail sent