Because not everybody will have updated immediately something is changed, so a reasonable time should be allowed before changing the default, especially as I understand it, the old name still works in many cases.
In the meantime its very simple to change yourself. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1776#issuecomment-375190475
