@Tim Edwards I don't see any modifications pushed in the last day

Two days ago, actually.

Is it on GitHub? All I see are two merges in the commit history

Yes, that's right. The merge of the pull request from Anton Blanchard fixes the minimum metal hole area problem.

@Dinesh A FYI