Vincent van Ravesteijn wrote: > I still had a list of commits that I wanted to backport dating back to > May (when the previous branch was already closed). I totally forgot > about these when backporting the list of bugs previous month.
Put them in. Jürgen
