messages: recent-bugs: Convert bug id to number.
authorRicardo Wurmus <rekado@elephly.net>
Thu, 12 Mar 2020 11:04:52 +0000 (12:04 +0100)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 12 Mar 2020 11:04:52 +0000 (12:04 +0100)
commit53cc7b44381f1af08eff9313fbfaee120dae90ab
tree1a1972981cf25e55ae1d7c989138358528c8afbb
parentcd4a8b6d125a2f00dcc42b9ad8a88cdea3d91d8a
messages: recent-bugs: Convert bug id to number.

* mumi/messages.scm (recent-bugs): Convert bug id field to number.
mumi/messages.scm