# HG changeset patch # User Rik # Date 1360789919 28800 # Node ID 5306e943ce74f2a73fcc26776a8cbb03e99c2d6d # Parent 119ce9f5e1a34fa0b95cc4af9e47f56fa93590cd# Parent c5b4b9507a55abb856213721d5000f67b2539d2a maint: Periodic merge of stable to default. diff -r 119ce9f5e1a3 -r 5306e943ce74 scripts/Makefile.am