Merge pull request #21787 from magnetophon/rofi
rofi: 1.3.0 -> 1.3.1
authored by Jörg Thalheim and committed by GitHub 9 years ago e9d3862b 32dfce3c