Handle the no-target case through user information.#408

Merged

jmirabel merged 1 commit intojrl-umi3218:masterfrom olivier-stasse:topic/no-target-v4

Jun 19, 2020

+20-3

Commits on Jun 19, 2020

Handle no-target case through a user information.
olivier-stasse
committed