tree d718749585978f2d8bcd768c288d1244b3bfce3b
parent 3764c0c0f9a60fe77338870346f24a68fcec269b
author gdt <gdt> 1100539751 +0000
committer gdt <gdt> 1100539751 +0000

Make explicit that bumping required tool versions needs thought.