From 0100d1932bd36f485786b13d3263c985d2256aff Mon Sep 17 00:00:00 2001
From: Andreas Huggel <ahuggel@gmx.net>
Date: Sun, 11 Mar 2012 12:40:26 +0000
Subject: [PATCH] [unstable] #585: Added Key1::op< to define an order on keys.