Re: [PATCH v2 2/3] Remove the old descriptions from user-level.adoc
Greg Favor
On Thu, Jul 15, 2021 at 4:45 PM Kumar Sankaran <ksankaran@...> wrote:
Greg,
The patch has already been merged. Can you please keep track of the movement of this text to elsewhere?
I was already planning to, so definitely yes.
Greg