* Ralf Wildenhues wrote on Tue, Dec 08, 2009 at 11:13:45PM CET: > For release branches older than branch-1-10, the respective fix has been > applied to the git tree, but there are currently no plans to produce new > official releases for them; contact us if you absolutely need to have > such a release. This refers to the following git branches: > > branch-1-4 > branch-real-1-5 > branch-1-6 > branch-1-7 > branch-1-8 > branch-1-9
Obviously something didn't go well, because it's not branch-real-1-5 that has been updated but branch-1-5 has, and by lots of commits, presumably because I locally named the thing branch-1-5. Oh well, so I learned something new about git today, too. Apologies for the inconvenience.
