# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1444587150 -7200
# Node ID fe6c00277a91fc319d16c80d1882f909e01d5025
# Parent  939b08faaf930cb13efb86539619f51927547e12# Parent  344be4db9c1f289f8c52fbd244369e769a4756dc
Null merge from default.

diff -r 939b08faaf93 -r fe6c00277a91 optimiser.py
diff -r 939b08faaf93 -r fe6c00277a91 optimiserlib.py