Merge pull request #18620 from cro/pg_jid_doc8

jids can't be ints anymore, because we can now set jid names.
This commit is contained in:
Thomas S Hatch 2014-12-02 10:04:38 -07:00
commit 19022ff90f

View File

@ -31,7 +31,7 @@ correctly::
DROP TABLE IF EXISTS jids;
CREATE TABLE jids (
jid bigint PRIMARY KEY,
jid varchar(20) PRIMARY KEY,
load text NOT NULL
);