diff options
| author | DJ Delorie <dj@redhat.com> | 2001-07-26 14:20:05 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@redhat.com> | 2001-07-26 14:20:05 +0000 |
| commit | c784c833aa9313a233a493cdb9e28f69fa7d360d (patch) | |
| tree | 0e2f45f6b9f2369d95ad1b8f1c8fc2a6410700f8 /MAINTAINERS | |
| parent | 0cc642a5f1b2121b4a451dfcd25fd98384f694c9 (diff) | |
| download | newlib-c784c833aa9313a233a493cdb9e28f69fa7d360d.zip newlib-c784c833aa9313a233a493cdb9e28f69fa7d360d.tar.gz newlib-c784c833aa9313a233a493cdb9e28f69fa7d360d.tar.bz2 | |
* MAINTAINERS: Clarify libiberty merge rules and procedures.
Diffstat (limited to 'MAINTAINERS')
| -rw-r--r-- | MAINTAINERS | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 2201a92..b3e0438 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -46,7 +46,11 @@ libiberty/; libiberty's part of include/ gcc: http://gcc.gnu.org Changes need to be done in tandem with the official GCC sources or submitted to the master file maintainer and brought - in via a merge. + in via a merge. Note: approved patches in gcc's libiberty + are automatically approved in this libiberty also; feel free + to merge them yourself if needed sooner than the next merge. + Otherwise, changes are automatically merged, usually within + a day. ltconfig; ltmain.sh libtool: http://gnu.org |