Daniel Berlin wrote: > Patch manager will be dying for a week or two while i change hosting. > of course, if nobody is still using it, i can just kill it permanently.
At least I use it almost always to make sure patches does not get forgotten; thus I regularly check http://dberlin.org/patches/patches/list Additionally, I like that it automatically adds a link to the mailing list in the PR; that way one can easily check the discussion in the mailing list. (I also like PRs, they not only help to obtain more information about a patch [cf. recently ChangeLog discussion], but also ensure that one does not forget something.) I think many gfortraners use :ADDPATCH: Tobias