tree e5d946e90fbd3fb6da8b7d12296e3ace5175e09f
parent 0a9113dcba2930b658cb67f9ba1c63ad8eebd88f
parent 9d9acba737aa1dd2a35e725c57a52c5b667ce453
author William S Fulton <wsf@fultondesigns.co.uk> 1505805027 +0100
committer William S Fulton <wsf@fultondesigns.co.uk> 1505805027 +0100

Merge branch 'futatuki-configure-with-2to3-as-different-name'

* futatuki-configure-with-2to3-as-different-name:
  Apply patch to configure with 2to3 rename for 3.0.12