[Maria-developers] Bugs are not being closed in lp:maria

Hi I took a look at https://bugs.launchpad.net/maria/+bugs? ...all bugs in MariaDB. For instance the third one https://bugs.launchpad.net/maria/+bug/417751 has been fixed and closed a long time ago. The status has in fact been updated properly, but this is only effective as the bug appears in the xtradb project, not maria project. Hakan, with your new bug triaging hat on, could you also make sure old bugs like this are properly closed so we don't need to see them. henrik -- email: henrik.ingo@avoinelama.fi tel: +358-40-5697354 www: www.avoinelama.fi/~hingo book: www.openlife.cc