Jakub Jelinek <jakub(a)redhat.com> writes:
There should have been a comment pointing out this important information
by the person who added the duplicate.
Andreas.
--
Andreas Schwab, schwab(a)redhat.com
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84 5EC7 45C6 250E 6F00 984E
"And now for something completely different."