Joel Brobecker <brobecker@adacore.com> writes: > That's correct. You can push it using the "tiny patch" annotation > in the ChangeLog. See: > http://www.gnu.org/prep/maintain/maintain.html#Legally-Significant Hi Joel, Thanks for the explanation. Patch is pushed in with "tiny patch" annotation. -- Yao (齐尧)