Merge pull request #1147 from mikeshulman/errata-fix2

make commit name shorter

errata.tex

@@ -884,7 +884,7 @@
   Hence either $0 < a < x$ or $x < b < 0$, so that $x \apart 0$''.\\
   %
   \cref{RD-inverse-apart-0}
-  & public-release-1384-gc9ada3f
+  & 1384-gc9ada3f
   & In the proof of the theorem, the definition of $x^{-1}$ should be changed as follows:
   $L_{x^{-1}}(q) \defeq (q > 0) \Rightarrow \exis{r : \Q} U_x(r) \land (q r < 1)$ and $U_{x^{-1}}(q) \defeq (q > 0) \land \exis{r : \Q} L_x(r) \land (q r > 1)$ for positive $x$,
   and $L_{x^{-1}}(q) \defeq (q < 0) \land \exis{r : \Q} U_x(r) \land (q r > 1)$ and $U_{x^{-1}}(q) \defeq (q < 0) \Rightarrow \exis{r : \Q} L_x(r) \land (q r < 1)$ for negative $x$. \\