]> granicus.if.org Git - pgbadger/commitdiff
Merge pull request #278 from komeda-shinji/master
authorDarold <gilles@darold.net>
Mon, 23 May 2016 20:32:26 +0000 (07:32 +1100)
committerDarold <gilles@darold.net>
Mon, 23 May 2016 20:32:26 +0000 (07:32 +1100)
We should use the mnemonic rather than a signal number.


Trivial merge