Patch title: Release 94 bulk changes
Abstract:
File: /pliant/language/context/memory.pli
Key:
    Removed line
    Added line
   
scope "/pliant/language/" "/pliant/install/"
module "/pliant/install/ring2.pli"
scope "/pliant/language/" "/pliant/install/"
module "/pliant/install/ring2.pli"
module "/pliant/appli/database/light.pli"
module "/pliant/storage/database/light.pli"


pliant_memory_post_extend_hook := (the_function memory_overf


pliant_memory_post_extend_hook := (the_function memory_overf