trunk5: remove a duplicated extension

Description

trunk5: remove a duplicated extension

po_name already includes .po

Details

Committed
ltoscanoMay 31 2020, 10:50 PM
Parents
R883:1569907: autogen.sh: do not install data/global for now
Branches
Unknown
Tags
Unknown