Hans-Christoph Steiner wrote:
The pdpedia bugs section and the bug tracker serve quite different
purposes. The bug tracker is for information leading to fixing a
bug. The pdpedia bug section is for documenting the existance of
know bugs and known workarounds.
i see: the bug tracker is contra bugs, while the pdpedia bug section is pro bugs :-)
fmasd.r IOhannes