--
-- Schema info.
--
-- The schema version is stored in every PR when the PR is
-- entered; this helps reconstruct history.
--
-- The schema version is also used for future-proofing.

-- Should have only one row.
CREATE TABLE schemainfo (
       version int	not null
)
WITHOUT OIDS;