Delete 1132.misc

This commit is contained in:
Travis Ralston 2022-06-16 08:21:41 -06:00 committed by GitHub
parent 971504cdf0
commit d7f568b0e1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1 +0,0 @@
Revert #1119. The stylistic changes were correct, but the sentence `This can be computed more efficiently as...` was incorrect.