* Jeroen Roovers <firstname.lastname@example.org>:
> Devmanual gets patched? No seriously - I guess mail to dev-announce@
> would be nice in case of changes to devmanual. Useful for all
> developers who don't like getting spammed by the commits mailing list.
Since moving from subversion to git we don't get any notification at
all. Not even the commits list gets the changes. Before the move the
commits were also sent to the devmanual-commits alias.
The best we currently have are the feeds from gitweb but they
only show the log. For a patch we have to click another link.