[DGD] 1.2.131

[Felix A. Croes]

diff -c dgd/src/Changelog:1.367 dgd/src/Changelog:1.368
*** dgd/src/Changelog:1.367     Wed Aug  1 10:53:02 2007
--- dgd/src/Changelog   Thu Aug 16 00:46:29 2007
***************
*** 1679,1681 ****
--- 1679,1684 ----
   - Variables from newly inherited objects were not handled properly
     during upgrades.
   - Fixed a bug in object type handling in ?:.
+  - Forbid running a precompiled object with a different typechecking level than
+    it was compiled with.
+  - Fixed an editor path bug inadvertedly introduced a few patches ago.

ftp://ftp.dworkin.nl/pub/dgd/experimental/patches/1.2.130-1.2.131.gz

Regards,
Dworkin