 |
 |
 |
 |
|
 |
|
 |
|
 |
|
 |
|
|
|
|
|
|
|
|
|
|
|
|
Henrik Levkowetz wrote: > I checked all the ones you list, and the tweak does not cause any > differences in the results. Then I hope it works - I killed an fgrep ")[" after some minutes :-) Unrelated, the RFC editor wrote on the "Internet history" list that they now have an index file for all available IENs: <http://permalink.gmane.org/gmane.culture.internet.history/650> Frank _______________________________________________ Tools-discuss mailing list Tools-discuss at ietf.org https://www1.ietf.org/mailman/listinfo/tools-discuss