Skip to content
Snippets Groups Projects

makefile: update the registry to the new one

Merged Pierre-Yves David requested to merge topic/default/update-registry into branch/default
  1. Jan 15, 2021
Loading