diff options
| author | DJ Delorie <dj@delorie.com> | 2001-07-26 14:20:05 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@delorie.com> | 2001-07-26 14:20:05 +0000 |
| commit | 893a2991fbc5bc32a2209d2a6136fbb1b25586d0 (patch) | |
| tree | 07c4d5debcb2ef7f5909cc5628f326041aa23cc3 /MAINTAINERS | |
| parent | 641eaa7aaf5d5534d0fd779555e33181ae9f648e (diff) | |
| download | gdb-893a2991fbc5bc32a2209d2a6136fbb1b25586d0.tar.gz | |
* 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 2201a923ad9..b3e04387a44 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 |