On Thu, Jul 24, 2014 at 01:17:23PM -0700, Timothy Gu wrote: [...] > The cons: > - Anchor names are changed.
are there any linkes that use these anchors ? > > > > > also applying this patchset will not affect how our server > > generates the html, as it does not execute files from git. > > If its intended to also change what the server does, this would need > > some volunteer to update the scripts used. > > OK. You can send me privately the server scripts and I'll see what I can do. done [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB Let us carefully observe those good qualities wherein our enemies excel us and endeavor to excel them, by avoiding what is faulty, and imitating what is excellent in them. -- Plutarch
signature.asc
Description: Digital signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
