Build #25 (May 12, 2019 7:08:20 PM)

1. apply plugin eclipse (details / githubweb)
2. Fix Rectangle code ported from 1.12 (details / githubweb)
3. Fix #1567 Fix #1575 Improve display of wildcard items with no creative menu subtypes (details / githubweb)
4. Revert "apply plugin eclipse" (details / githubweb)

Started by user mezz

This run spent:

• 2 ms waiting;
• 21 sec build duration;
• 21 sec total from scheduled to completion.