rename the patch so that it explains what it does

This commit is contained in:
Mario Vavti 2016-07-22 14:29:16 +02:00
parent 52db649022
commit 4ffc4ee70a