log

age author description
Tue, 13 Apr 2021 15:30:32 +0200 Pierre-Yves David push-dests: move the code around missing default dest inside `get_push_paths`
Tue, 13 Apr 2021 15:32:59 +0200 Pierre-Yves David push-dests: rework the handling of default value