I suppose we can incorporate this documentation of the process in the
comments of a bug fix (Editing the case)
On Wed, May 6, 2015 at 6:57 PM, Sergio Fedi <sergio.fedi@gmail.com> wrote:
Aha, ok. I understand them more now.
Thanks for the explanation.
â