------- Comment #8 from fxcoudert at gcc dot gnu dot org 2005-11-15 12:14 ------- (In reply to comment #7) > We should bump the library file's version number.
Could we get a gcc-admin script to change the library's version everyday with version numbers like 0.0.20051115 and so on? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24541