41 + virtual std::shared_ptr<mir::time::Timer> the_timer();
"mir::" is not needed.
~~~~
79 +namespace mir 80 +{ 81 +class Loop
I think "Loop" is an uninformative name (what is it?) in the wrong namespace (what role it has in setting up the server)?
Should it be time::Scheduler or todo::Scheduler?
« Back to merge proposal
41 + virtual std::shared_ ptr<mir: :time:: Timer> the_timer();
"mir::" is not needed.
~~~~
79 +namespace mir
80 +{
81 +class Loop
I think "Loop" is an uninformative name (what is it?) in the wrong namespace (what role it has in setting up the server)?
Should it be time::Scheduler or todo::Scheduler?