mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-23 07:23:03 -05:00
Bold text in subsection intro? #56
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @V0XNIHILI on GitHub (Dec 11, 2023).
In 10.3.4, there is some bold part in the intro of the section:
However, as far as I can see, this is only done here. Should we keep this or remove it?
@profvjreddi commented on GitHub (Dec 11, 2023):
Thanks - fixed here
3b575367bf(figured it is faster for me to just resolve it than us going back and forth)