#
#
# patch "cmd_db.cc"
#  from [1ed3e071783afad66d6bb81ee3b8b30604f15c8f]
#    to [4f476ee1575947fac7f099f2988bef9756ebfae0]
#
============================================================
--- cmd_db.cc	1ed3e071783afad66d6bb81ee3b8b30604f15c8f
+++ cmd_db.cc	4f476ee1575947fac7f099f2988bef9756ebfae0
@@ -435,7 +435,8 @@ CMD_HIDDEN(rev_height, "rev_height", "",
 {
   if (args.size() != 1)
     throw usage(execid);
-  revision_id rid(idx(args, 0)());
+
+  revision_id rid(decode_hexenc(idx(args, 0)()));
   database db(app);
   N(db.revision_exists(rid), F("no such revision '%s'") % rid);
   rev_height height;