As the title says, we'd like to give the AT badge to 'alexfanqi' for this contribution to the keywording/testing job to the RISC-V project. He is being helpful, and deserve the credits.. his account alexfanqi (also in IRC): alexfanqi at yahoo.com Reproducible: Always
Done!