scripts: Do not use soap-invoke*.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 10:10:53 +0000 (12:10 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 10:10:53 +0000 (12:10 +0200)
commita1aac14c45bc9bf3d57a32fbf267b8df68887a80
tree41432bb360c1cb40f718d58968759f720c466b62
parent9b3225121a30f10fd250801702f94c345f799b7b
scripts: Do not use soap-invoke*.

* scripts/mumi.in (update-state!): Use extract-bug-numbers instead of
connecting to the Debbugs SOAP service.
scripts/mumi.in