04.01.2017 17:56, Paolo Bonzini wrote: > options must be non-NULL here, because it has been checked before. > Reported by Coverity.
Applied to -trivial, thanks! /mjt
04.01.2017 17:56, Paolo Bonzini wrote: > options must be non-NULL here, because it has been checked before. > Reported by Coverity.
Applied to -trivial, thanks! /mjt