Mailing lists [pgadmin-hackers]

6 January 2014

• 01:18   [PATCH] fix newly added server being lost when crashing Kaarel Moppel
• 01:19   [PATCH] Add a menu option for disabling restoration of previous environment on reconnect Kaarel Moppel
• 01:19   [PATCH] Added a menu option to disable code folding Kaarel Moppel
• 07:35   Re: [PATCH] Add a menu option for disabling restoration of previous environment on reconnect Ashesh Vashi
• 10:57   Re: [PATCH] Add a menu option for disabling restoration of previous environment on reconnect Guillaume Lelarge
• 12:00   Re: [PATCH] Add a menu option for disabling restoration of previous environment on reconnect Dave Page
• 12:35   Re: [PATCH] Added a menu option to disable code folding Dave Page
• 14:09   Re: [PATCH] fix newly added server being lost when crashing Dave Page
• 14:10   Re: [PATCH] fix newly added server being lost when crashing Ashesh Vashi
• 14:29   Re: [PATCH] fix newly added server being lost when crashing Ashesh Vashi