Skip to content
Snippets Groups Projects
user avatar
Roberto Raggi authored
OK, it seems that this change is not necessary.

This reverts commit 40bae63c.
2295aa28
History
Name Last commit Last update