Port declaration

HiMini.h/shortlog@c0648710fb7b: not found in manifest