mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-16 12:44:27 +00:00
The original link would likely be broken by the change to the heading title in https://github.com/martinvonz/jj/pull/2273.
The original link would likely be broken by the change to the heading title in https://github.com/martinvonz/jj/pull/2273.