# Commit 2020-07-14 14:05 02f2f947

View on Github →refactor(category_theory/finite_limits): missing piece of #3320 (#3400)
A recent PR #3320 did some refactoring of special shapes of limits. It seems I forgot to include `wide_pullbacks`

in that refactor, so I've done that here.