# HG changeset patch # User John W. Eaton # Date 1334254109 14400 # Node ID 15e4ec503cfdc20fb29dff460525cdfe72c32003 # Parent 69eec23c8b3d2ab5ef3313abbf3e8c7e4c44a1ee# Parent 6eabd81604b577c7ec8f27aeb6f4391d7f001ac6 maint: periodic merge of stable to default diff -r 69eec23c8b3d -r 15e4ec503cfd src/DLD-FUNCTIONS/kron.cc