> LGTM! > > You can push it right away to ‘core-updates’, but since it triggers a > full rebuild, now’s a good time to push another change that triggers a > full rebuild. :-) > Pushed bravely, thank you!