tree 102d18ac2bb61929c28c26180d7af8b08c1f0f56
parent 7ad203316d6ca7c0b007cf07b9667c6f9fd7825a
author Jan Kundrát <kundrat@cesnet.cz> 1638526147 +0100
committer Jan Kundrát <kundrat@cesnet.cz> 1638788389 +0100

HiRes Add/Drop: scan channel pinning

Also sync the repos while I'm at this.

Change-Id: Id98414ee64861aea2a7138c31e480bbe70cf7111