Skip to content

Bugfix on rkt detection, fixes #748#785

Merged
luca3m merged 1 commit intodevfrom rkt-fixMar 14, 2017

Commits

Commits on Mar 10, 2017