Skip to content

add use of basename to fix issue 1030#1062

Merged
paciorek merged 1 commit into
develfrom
fix_1030
Aug 15, 2020
Merged

add use of basename to fix issue 1030#1062
paciorek merged 1 commit into
develfrom
fix_1030

Conversation

@paciorek
Copy link
Copy Markdown
Contributor

Fixes #1030.

@paciorek paciorek merged commit 2e7c35d into devel Aug 15, 2020
@paciorek paciorek deleted the fix_1030 branch August 15, 2020 15:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

duplicated dirName causing inability to load dynamicRegistrations so

1 participant