diff options
| author | Vasilij Schneidermann <mail@vasilij.de> | 2017-11-05 00:40:58 +0100 |
|---|---|---|
| committer | Vasilij Schneidermann <mail@vasilij.de> | 2017-11-05 00:40:58 +0100 |
| commit | e499e7f3ac756b6c48bfa1641c7c79970d4eb904 (patch) | |
| tree | 022bd79e200204bc04f22dc24c8af1d65d80d59a /nov.el | |
| parent | 19ab463864f137b43704b4f34173349c88e84d8e (diff) | |
Undo stripping identifiers
Diffstat (limited to 'nov.el')
| -rw-r--r-- | nov.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -241,7 +241,7 @@ UUID." (id (car (esxml-node-children (esxml-query selector content))))) (when (not id) (error "Unique identifier not found by its name: %s" name)) - (intern (replace-regexp-in-string "^urn:uuid:" "" id)))) + (intern id))) ;; NOTE: unique identifier is queried separately as identifiers can ;; appear more than once and only one of them can be the unique one |