Closed bogdanr closed 6 years ago
As @aanriot mentions, it seems this PR was obsoleted when #81 got merged (commit 2947dde6) and we can close this one.
@bogdanr, @aboe76, wdyt?
Seen with @javierbertoli , we now close this pull request. Feel free to open a new one if needed.
As @aanriot mentions, it seems this PR was obsoleted when #81 got merged (commit 2947dde6) and we can close this one.
@bogdanr, @aboe76, wdyt?