tree 262fe7f1e71d55ee15adb000dfc7a0419886feb5
parent 516365c57e9b047bb35384e7c163040375865f7d
author Romain Manni-Bucau <rmannibucau@gmail.com> 1577808353 +0100
committer Romain Manni-Bucau <rmannibucau@gmail.com> 1577808353 +0100

few fixes on the registry and setup