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

remove datoms from pr-db and pp-db #81

Closed
kordano opened this issue Oct 21, 2019 · 0 comments
Closed

remove datoms from pr-db and pp-db #81

kordano opened this issue Oct 21, 2019 · 0 comments
Labels
enhancement New feature or request
Projects
Development Development
Milestone
0.2.1

Comments

@kordano
Copy link
Member

kordano commented Oct 21, 2019

No description provided.

@kordano kordano added the enhancement New feature or request label Oct 21, 2019
@kordano kordano added this to To do in Development via automation Oct 21, 2019
@kordano kordano added this to the 0.2.1 milestone Oct 21, 2019
@kordano kordano moved this from To do to In progress in Development Nov 20, 2019
@kordano kordano moved this from In progress to Done in Development Jan 14, 2020
@kordano kordano added this to Done in Development Jun 4, 2020
@kordano kordano closed this as completed Feb 1, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
No open projects
Development
  
Done
Development
  
Done
Milestone
0.2.1
Development

No branches or pull requests
1 participant
@kordano