Villagers will not restock their trades.

After reading that villagers should restock their trades at least twice a day, I waited a while for my librarian to restock his paper trade (he had easy access to his lectern), and I waited for about 3 minecraft in-game days before I realised that something was not right. This bug affects version 1.14.2