added module::armem label
assigned to @RainerKartmann
created merge request !202 (merged) to address this issue
mentioned in merge request !202 (merged)
mentioned in commit 0323fe9f
closed