-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 12/22/2013 10:45 PM, Jim Meyering wrote: > Perfect. Thanks! Marking this "done" in the bug-tracker.
Great, pushed. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (MingW32) Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBAgAGBQJSuFUGAAoJEI5FoCIzSKrwE9MH/RKiruOVv5gIDCsOTG9/Cq64 EdB93f/q6mzBZnNwWEeZk9xoNpu4ueUHqOWU89zdsgVd0Dk4S0CyQoh0jAe9p1z1 CF1zdLldOxFSYxj3iQsPg4Wj2B/lAIgPV08b8XY+/De/KrOh8br5lt0NUSVzKuyJ ZTBVYDNnfItW04mva/cXFwztmaLzQK3DIJ/tqszz/4GNongOh5wBtI9B3lzYbOVO KdDksESg6F5izaCw1+nBD70xmDO6qS9VUX0qFlVKdiqQf+wohYKmkakM3DMYIEQ7 hMxMZYaWIQnoheWjyTWGYkzluNwyHqyQjjBamBPRkP5IB2juWHdP+dg2ckZZ9U8= =KyKE -----END PGP SIGNATURE-----