[sr-dev] git:master: Remove obsolete gen_ha1.