On Thu, Sep 17, 2015 at 11:28:28AM +0200, Paolo Bonzini wrote: > Signed-off-by: Paolo Bonzini <pbonzini@xxxxxxxxxx> Good catch, queued and pushed. Thanx, Paul > --- > qqz.tex | 4 ++-- > rt/rt.tex | 4 ++-- > 2 files changed, 4 insertions(+), 4 deletions(-) > > diff --git a/qqz.tex b/qqz.tex > index cfd0356..2786754 100644 > --- a/qqz.tex > +++ b/qqz.tex > @@ -6822,8 +6822,8 @@ srcu_read_unlock(&srcucb, idx); > But what about battery-powered systems? > They don't require energy flowing into the system as a whole. > \QuickA{} > - Sooner or later, either the battery much be recharged, which > - requires energy to flow into the system, otherwise the system will > + Sooner or later, either the battery must be recharged, which > + requires energy to flow into the system, or the system will > stop operating. > > \QuickQ{} > diff --git a/rt/rt.tex b/rt/rt.tex > index daf943c..12a75ca 100644 > --- a/rt/rt.tex > +++ b/rt/rt.tex > @@ -213,8 +213,8 @@ that portion of the outside world that is to be monitored or controlled. > But what about battery-powered systems? > They don't require energy flowing into the system as a whole. > \QuickQuizAnswer{ > - Sooner or later, either the battery much be recharged, which > - requires energy to flow into the system, otherwise the system will > + Sooner or later, either the battery must be recharged, which > + requires energy to flow into the system, or the system will > stop operating. > } \QuickQuizEnd > > -- > 2.5.0 > > -- > To unsubscribe from this list: send the line "unsubscribe perfbook" in > the body of a message to majordomo@xxxxxxxxxxxxxxx > More majordomo info at http://vger.kernel.org/majordomo-info.html > -- To unsubscribe from this list: send the line "unsubscribe perfbook" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html