diff options
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -69,6 +69,11 @@ Changes from 4.1.x to 4.2.0 17. Support for GNU/Linux on Alpha systems has been removed. +18. Optimizations are now enabled by default. Use the new -s/--no-optimize + option(s) to disable them. Pretty printing and profiling automatically + disable optimizations so that the output program is the same as the + original input program. + Changes from 4.1.3 to 4.1.x --------------------------- |