On Tue, 14 Jul 2009 10:55:36 +0200 (CEST), Alexander Best <alexbestms_at_math.uni-muenster.de> wrote: > just wanted to ask what the status of this patch is right now? did it > get committed to HEAD already? would be really great to have it in > there. I'm sorry but I lost the window before /head froze for 8.0, so this is not going to be committed before we cut a release. I think it's safe to assume that we can commit it shortly afterwards.
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:39:51 UTC