On Monday, November 17, 2014 1:45:09 PM UTC+1, Volker Braun wrote:
>
> I would like to propose another change to SPKG.txt, and that is to NOT 
> document patches in there but in the patch file. As you might know, the 
> patch can have arbitrary text before the first diff hunk, anything that is 
> not an actual diff is ignored. 
>
> I agree this is a good thing to do.
(In particular it allows to easily just add or remove a patch without 
needing to modifyin SPKG.txt.)

-- 
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.

Reply via email to