You should file a bug on the ConsoleKit bugtracker and post your patch there: https://bugs.freedesktop.org/enter_bug.cgi?product=ConsoleKit
You should file a bug on the ConsoleKit bugtracker and post your patch there: https:/ /bugs.freedeskt op.org/ enter_bug. cgi?product= ConsoleKit