View Revisions: Note 11751

Summary 0006489: Modules brokes when class extending-definition is not identical to other modules