Matthias Lutter
Results
11
comments of
Matthias Lutter
I had the same problem. I have fixed it locally by changing TEX_MIN_SIZE to 64. However, other people that have not patched TEX_MIN_SIZE manually won't be able to build my...