Build #15 (Dec 16, 2019 1:33:16 AM)

1. When configs change, hide/show items in the JEI list. (details / githubweb)

Push event to branch 1.14 at 1:33:09 AM on Dec 16, 2019

This run spent:

• 3 ms waiting;
• 10 sec build duration;
• 10 sec total from scheduled to completion.

• 1.14