- Fix for bug #3222. Patches submitted by the bug-tracker with formatting "pre" could not be displayed. additionally removed "pre" formattin…
Show more
- Fix for bug #3222. Patches submitted by the bug-tracker with formatting "pre" could not be displayed. additionally removed "pre" formatting option on bug-tracker in HEAD, since it seems superfluous.
Show less
