shrink binary

This commit is contained in:
2020-08-25 14:51:32 +01:00
parent 25f40dc9e0
commit 08ebaa5525

Binary file not shown.