Viewing all changes in revision 4243.

Committer: Tarmac
Author(s): Alan Griffiths
Date: 2017-09-07 09:08:36 UTC
mfrom: <a title="Merged From 4240.3.2" href="/~alan-griffiths/mir/move-miral-to-mir-no-more-miral-packages/revision/4240.3.2">(4240.3.2 mir)
Revision ID: tarmac-20170907090836-tyk9vszfpjvebpbj

Remove a few missed references to mir_proving_server.

Approved by Chris Halse Rogers, mir-ci-bot.

added added

removed removed