# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1460254086 -7200
# Node ID 3d41a6fa183080cc1453bade3cd40e725010ae40
# Parent  869f5e703844c2d0e4247ed4210b354a12dd5863# Parent  99b4d81d9c95eb50fefe751abb5de8ed50aad70a
Merge