mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-19 22:23:14 +00:00
Follows up on 13c93d52705. The information I added is explained in that commit's description, but I feel like it could reduce confusion for future readers of the code.