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.

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

Update PPP #101

Merged
merged 7 commits into from
Apr 2, 2019
Merged

Update PPP #101

merged 7 commits into from
Apr 2, 2019

Conversation

bendymochi
Copy link

No description provided.

…into filter-feature

# Conflicts:
#	docs/DeveloperGuide.adoc
#	docs/UserGuide.adoc
@bendymochi bendymochi added priority.High documentation Label for documentation update type.Task Something that needs to be done, but not a story, bug, or an epic. e.g. Move testing code into a new v1.3 labels Apr 2, 2019
@bendymochi bendymochi added this to the v1.3 milestone Apr 2, 2019
@bendymochi bendymochi self-assigned this Apr 2, 2019
@bendymochi bendymochi merged commit f338bf6 into master Apr 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Label for documentation update priority.High type.Task Something that needs to be done, but not a story, bug, or an epic. e.g. Move testing code into a new v1.3
Projects
Schedule
  
Awaiting triage
Development

Successfully merging this pull request may close these issues.

None yet

1 participant