Minor modifications

This commit is contained in:
Arthur 2019-08-13 17:04:19 +02:00
parent 87b03de58c
commit ef4f2e8113