[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: todo-mode doc bug

From: Eli Zaretskii
Subject: Re: todo-mode doc bug
Date: Mon, 25 Apr 2016 13:23:03 +0300

> From: Stephen Berman <address@hidden>
> Cc: address@hidden
> Date: Mon, 25 Apr 2016 12:18:33 +0200
> >            I have no opinion about closing the bug.
> There is no outstanding bug about this; my question was about whether it
> is necessary to file one for this doc string change

No need.  However, mentioning in the commit log the URL for the
discussion of the issue should be considered.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]