projects / pgopen2018.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 00cca8d 4d54452)
Merge pull request #41 from xenophenes/master
authorsfrost <sfrost@snowman.net>
Thu, 20 Apr 2017 22:47:48 +0000 (18:47 -0400)
committerGitHub <noreply@github.com>
Thu, 20 Apr 2017 22:47:48 +0000 (18:47 -0400)
mobile fix


Trivial merge
PostgresOpen 2018 Repo