projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd4a8b6) | patch
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
tree1a1972981cf25e55ae1d7c989138358528c8afbbtree | snapshot
parentcd4a8b6d125a2f00dcc42b9ad8a88cdea3d91d8acommit | diff
messages: recent-bugs: Convert bug id to number.

* mumi/messages.scm (recent-bugs): Convert bug id field to number.
mumi/messages.scm diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.