Gerrit Kühn <[email protected]> writes:
> Is there an easy way to find out where this commit ends up, i.e., whether
> it is merged into 14.0, 14.1 or so?

I will make sure it gets into 14.1.

DES
-- 
Dag-Erling Smørgrav - [email protected]

Reply via email to