comment tweak

This commit is contained in:
clime 2020-05-10 23:47:14 +02:00
parent 47fcf75151
commit 541924646d