On 2015-10-22 16:54, Vincent Delecroix wrote:
On 22/10/15 11:52, Eric Gourgoulhon wrote:
PS: I agree that starting a line by "..." is not very orthodox typography
but it is commonly used to stress that the sentence is the
continuation of
a preceeding statement, isn't it?
I am also inclined to modify the patchbot instead of restricting the
liberty of documentation writers ;-)
I would say: leave the patchbot alone and just ignore this one plugin
error. The patchbot only gives advice, a bad patchbot plugin report does
not imply that the ticket gets set back to needs_work.
Jeroen.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
