local pool bugfix #64

Closed
muellerr wants to merge 1 commits from KSat:mueller_localPoolBugfix into master
Owner

fixes #63.
fixed by #66

fixes #63. fixed by #66
muellerr added the
bug
label 2020-05-04 13:14:30 +02:00
gaisser added the
duplicate
label 2020-05-05 20:08:27 +02:00
Owner

Duplicate because it is part of #66

Duplicate because it is part of #66
gaisser closed this pull request 2020-05-05 20:08:45 +02:00
gaisser deleted branch mueller_localPoolBugfix 2020-06-04 14:22:01 +02:00

Pull request closed

Sign in to join this conversation.
No description provided.