]> granicus.if.org Git - pgbadger/commitdiff
projects / pgbadger / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cd5de05 896ae14)
Merge pull request #252 from rjuju/fix_cursor
authorDarold <gilles@darold.net>
Fri, 18 Sep 2015 13:34:26 +0000 (15:34 +0200)
committerDarold <gilles@darold.net>
Fri, 18 Sep 2015 13:34:26 +0000 (15:34 +0200)
Normalize cursor names


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.