mirror of
git://git.savannah.gnu.org/libtool.git
synced 2025-03-13 15:46:55 +08:00
f7e760d738
Ondřej writes: "Hi, this is upstream version of patch that I sent to gcc. I generated this patch with tool that I am writing: https://github.com/neleai/stylepp" (Note: The generated patch was adjusted to retain the non-US but correct spelling of 'rigourous' before commit. --Brooks)