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

RDF prefix is not properly deleted #147

Open
dinans opened this issue Jan 20, 2016 · 0 comments
Open

RDF prefix is not properly deleted #147

dinans opened this issue Jan 20, 2016 · 0 comments
Assignees
@nvnikolov
Labels
bug UI
Milestone
0.5.0

Comments

@dinans
Copy link
Contributor

dinans commented Jan 20, 2016

After this sequence of steps:

  1. Create RDF prefix
  2. Delete RDF prefix
  3. Create RDF prefix with the same name but different namespace

Created RDF prefix gets an old namespace
@nvnikolov nvnikolov added this to the 0.5.0 milestone Jan 20, 2016
@nvnikolov nvnikolov self-assigned this Jan 20, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nvnikolov nvnikolov

Labels
bug UI
Projects
None yet
Milestone
0.5.0
Development

No branches or pull requests
2 participants
@nvnikolov @dinans