Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Clarify some policy bonuses in pedia #4099

Merged
merged 1 commit into from Oct 17, 2022
Merged

Clarify some policy bonuses in pedia #4099

merged 1 commit into from Oct 17, 2022

Conversation

MichaelCourtney
Copy link
Contributor

@MichaelCourtney MichaelCourtney commented Aug 26, 2022 •
edited by o01eg

Fixes #3962

@geoffthemedio geoffthemedio added category:tweak The PR contains insignificant code changes, like code style grooming or value tweaking. component:user manual The Issue/PR deals with end-user documentation targeted towards players and server hosters. labels Aug 27, 2022
@o01eg o01eg added this to the v0.5 milestone Oct 9, 2022
@geoffthemedio geoffthemedio merged commit 92458e9 into freeorion:master Oct 17, 2022
@geoffthemedio geoffthemedio added the status:merged All relevant commits of this PR were merged into the master development branch. label Oct 17, 2022
@MichaelCourtney MichaelCourtney deleted the Policybonuses branch October 18, 2022 13:20
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
category:tweak The PR contains insignificant code changes, like code style grooming or value tweaking. component:user manual The Issue/PR deals with end-user documentation targeted towards players and server hosters. status:merged All relevant commits of this PR were merged into the master development branch.
Projects
None yet
Milestone
v0.5
Development

Successfully merging this pull request may close these issues.

Pedia Update: Clarify some policy bonuses
3 participants
@MichaelCourtney @o01eg @geoffthemedio