On Tue, 10 Dec 2019 11:34:32 +0100
Markus Armbruster wrote:
> Eduardo Habkost writes:
>
> > +Markus
> >
> > On Tue, Dec 03, 2019 at 03:43:03PM +0100, Igor Mammedov wrote:
> >> On Tue, 3 Dec 2019 09:56:15 +0100
> >> Thomas Huth wrote:
> >>
> >> > On 02/12/2019 22.00, Eduardo Habkost
Eduardo Habkost writes:
> +Markus
>
> On Tue, Dec 03, 2019 at 03:43:03PM +0100, Igor Mammedov wrote:
>> On Tue, 3 Dec 2019 09:56:15 +0100
>> Thomas Huth wrote:
>>
>> > On 02/12/2019 22.00, Eduardo Habkost wrote:
>> > > On Mon, Dec 02, 2019 at 08:39:48AM +0100, Igor Mammedov wrote:
>> > >> On
+Markus
On Tue, Dec 03, 2019 at 03:43:03PM +0100, Igor Mammedov wrote:
> On Tue, 3 Dec 2019 09:56:15 +0100
> Thomas Huth wrote:
>
> > On 02/12/2019 22.00, Eduardo Habkost wrote:
> > > On Mon, Dec 02, 2019 at 08:39:48AM +0100, Igor Mammedov wrote:
> > >> On Fri, 29 Nov 2019 18:46:12 +0100
> >
On Tue, Dec 03, 2019 at 09:56:15AM +0100, Thomas Huth wrote:
> On 02/12/2019 22.00, Eduardo Habkost wrote:
> > On Mon, Dec 02, 2019 at 08:39:48AM +0100, Igor Mammedov wrote:
> >> On Fri, 29 Nov 2019 18:46:12 +0100
> >> Paolo Bonzini wrote:
> >>
> >>> On 29/11/19 13:16, Igor Mammedov wrote:
>
On Tue, 3 Dec 2019 09:56:15 +0100
Thomas Huth wrote:
> On 02/12/2019 22.00, Eduardo Habkost wrote:
> > On Mon, Dec 02, 2019 at 08:39:48AM +0100, Igor Mammedov wrote:
> >> On Fri, 29 Nov 2019 18:46:12 +0100
> >> Paolo Bonzini wrote:
> >>
> >>> On 29/11/19 13:16, Igor Mammedov wrote:
>
On 02/12/2019 22.00, Eduardo Habkost wrote:
> On Mon, Dec 02, 2019 at 08:39:48AM +0100, Igor Mammedov wrote:
>> On Fri, 29 Nov 2019 18:46:12 +0100
>> Paolo Bonzini wrote:
>>
>>> On 29/11/19 13:16, Igor Mammedov wrote:
As for "-m", I'd make it just an alias that translates