See the debian/changelog and etc/NEWS for some caveats (mostly about pending upstream patches which won't affect end users). Our 20.4 package will probably change substantially over the next months as I confer with the upstream authors to merge our relevant patches upstream in a platform independent manner and start cleaning up/forwarding a bunch of bugs. Thanks -- Rob Browning <rlb@cs.utexas.edu> PGP=E80E0D04F521A094 532B97F5D64E3930