main/gnome-menus: remove,upstream

approved this merge request

By Bart Ribbers on 2019-09-08T13:05:18

added 1 deleted label

mentioned in issue #353 (closed)

By Bart Ribbers on 2019-09-08T13:19:03

mentioned in commit ccea0d4a

By Luca Weiss on 2019-09-09T12:29:52

added 13 commits

• 27eb5b91...6dd3b240 - 12 commits from branch master
• ccea0d4a - main/gnome-menus: remove,upstream (!604 (merged))

Compare with previous version

By Martijn Braam on 2019-09-09T12:29:53

approved this merge request

By Martijn Braam on 2019-09-09T12:30:17

enabled an automatic merge when the pipeline for ccea0d4a succeeds

By Martijn Braam on 2019-09-09T12:30:20

canceled the automatic merge

By Martijn Braam on 2019-09-09T12:30:23

merged

By Martijn Braam on 2019-09-09T12:30:27