Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

For ubuntu add postgresql-server-dev-12 pkg #223

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
martiyanov wants to merge 1 commit into postgrespro:master from martiyanov:patch-1
Closed

For ubuntu add postgresql-server-dev-12 pkg #223

martiyanov wants to merge 1 commit into postgrespro:master from martiyanov:patch-1

Conversation

Copy link

@martiyanov martiyanov commented Nov 5, 2020

For ubuntu installation postgresql-server-dev-12 packet should be installed to compile pg_pathman

For ubuntu installation postgresql-server-dev-12 packet should be installed to compile pg_pathman
Copy link

codecov bot commented Nov 5, 2020
edited
Loading

Codecov Report

Merging #223 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@ Coverage Diff @@
## master #223 +/- ##
=======================================
 Coverage 91.87% 91.87% 
=======================================
 Files 40 40 
 Lines 7052 7052 
=======================================
 Hits 6479 6479 
 Misses 573 573 

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update bf13f4a...9f2d3bb. Read the comment docs.

Copy link

Thank you for your interest in the rum extension.

I don't think the said explanation should be added to the README file.
In addition to packages, users can build postgres from source code. And version numbers change with enviable frequency.

Thank you for your work. I hope that if problems arise, users will be able to see the answer to their problem here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /