DPDK patches and discussions
 help / color / mirror / Atom feed
* [PATCH] doc: remove confusing command to send patch
@ 2023-10-10 16:26 Thomas Monjalon
  2023-10-11  2:04 ` fengchengwen
  2023-10-11  7:30 ` David Marchand
  0 siblings, 2 replies; 11+ messages in thread
From: Thomas Monjalon @ 2023-10-10 16:26 UTC (permalink / raw)
  To: dev

In the contributor guide, it was said that no need to Cc maintainers
for new additions, probably for new directories not having a maintainer.
There is no harm, and it is a good habit, to always Cc maintainers.

Remove this case as it can mislead to not Cc maintainers when needed.

Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
---
 doc/guides/contributing/patches.rst | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/doc/guides/contributing/patches.rst b/doc/guides/contributing/patches.rst
index e286d9e6d5..d114ceba2b 100644
--- a/doc/guides/contributing/patches.rst
+++ b/doc/guides/contributing/patches.rst
@@ -561,10 +561,6 @@ Script ``get-maintainer.sh`` can be used to select maintainers automatically::
 
   git send-email --to-cmd ./devtools/get-maintainer.sh --cc dev@dpdk.org 000*.patch
 
-New additions can be sent without a maintainer::
-
-   git send-email --to dev@dpdk.org 000*.patch
-
 You can test the emails by sending it to yourself or with the ``--dry-run`` option.
 
 If the patch is in relation to a previous email thread you can add it to the same thread using the Message ID::
-- 
2.42.0


^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-10 16:26 [PATCH] doc: remove confusing command to send patch Thomas Monjalon
@ 2023-10-11  2:04 ` fengchengwen
  2023-10-11  7:30 ` David Marchand
  1 sibling, 0 replies; 11+ messages in thread
From: fengchengwen @ 2023-10-11  2:04 UTC (permalink / raw)
  To: Thomas Monjalon, dev

Acked-by: Chengwen Feng <fengchengwen@huawei.com>

On 2023/10/11 0:26, Thomas Monjalon wrote:
> In the contributor guide, it was said that no need to Cc maintainers
> for new additions, probably for new directories not having a maintainer.
> There is no harm, and it is a good habit, to always Cc maintainers.
> 
> Remove this case as it can mislead to not Cc maintainers when needed.
> 
> Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
> ---
>  doc/guides/contributing/patches.rst | 4 ----
>  1 file changed, 4 deletions(-)
> 
> diff --git a/doc/guides/contributing/patches.rst b/doc/guides/contributing/patches.rst
> index e286d9e6d5..d114ceba2b 100644
> --- a/doc/guides/contributing/patches.rst
> +++ b/doc/guides/contributing/patches.rst
> @@ -561,10 +561,6 @@ Script ``get-maintainer.sh`` can be used to select maintainers automatically::
>  
>    git send-email --to-cmd ./devtools/get-maintainer.sh --cc dev@dpdk.org 000*.patch
>  
> -New additions can be sent without a maintainer::
> -
> -   git send-email --to dev@dpdk.org 000*.patch
> -
>  You can test the emails by sending it to yourself or with the ``--dry-run`` option.
>  
>  If the patch is in relation to a previous email thread you can add it to the same thread using the Message ID::
> 

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-10 16:26 [PATCH] doc: remove confusing command to send patch Thomas Monjalon
  2023-10-11  2:04 ` fengchengwen
@ 2023-10-11  7:30 ` David Marchand
  2023-10-11  8:03   ` Thomas Monjalon
  1 sibling, 1 reply; 11+ messages in thread
From: David Marchand @ 2023-10-11  7:30 UTC (permalink / raw)
  To: Thomas Monjalon; +Cc: dev

On Tue, Oct 10, 2023 at 6:26 PM Thomas Monjalon <thomas@monjalon.net> wrote:
>
> In the contributor guide, it was said that no need to Cc maintainers
> for new additions, probably for new directories not having a maintainer.
> There is no harm, and it is a good habit, to always Cc maintainers.
>
> Remove this case as it can mislead to not Cc maintainers when needed.
>
> Signed-off-by: Thomas Monjalon <thomas@monjalon.net>

I agree Cc: maintainers should be the default / recommended way of
sending patches.

Just to convince myself, adding some meson skeleton for a "plop"
library, adding an entry in the release notes and hooking in
lib/meson.build:
$ git show --stat
 doc/guides/rel_notes/release_23_11.rst | 4 ++++
 lib/meson.build                        | 1 +
 lib/plop/meson.build                   | 2 ++

$ ./devtools/get-maintainer.sh 0001-new-awesome-library.patch

In this case, it translates to an empty To: list if you follow the
example command line:
   git send-email --to-cmd ./devtools/get-maintainer.sh --cc
dev@dpdk.org 000*.patch

We could add a default list of recipients if no maintainer is found by
the script.
And the next question is who should be in that list..


-- 
David Marchand


^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-11  7:30 ` David Marchand
@ 2023-10-11  8:03   ` Thomas Monjalon
  2023-10-11  8:30     ` Bruce Richardson
  0 siblings, 1 reply; 11+ messages in thread
From: Thomas Monjalon @ 2023-10-11  8:03 UTC (permalink / raw)
  To: David Marchand; +Cc: dev

11/10/2023 09:30, David Marchand:
> On Tue, Oct 10, 2023 at 6:26 PM Thomas Monjalon <thomas@monjalon.net> wrote:
> >
> > In the contributor guide, it was said that no need to Cc maintainers
> > for new additions, probably for new directories not having a maintainer.
> > There is no harm, and it is a good habit, to always Cc maintainers.
> >
> > Remove this case as it can mislead to not Cc maintainers when needed.
> >
> > Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
> 
> I agree Cc: maintainers should be the default / recommended way of
> sending patches.
> 
> Just to convince myself, adding some meson skeleton for a "plop"
> library, adding an entry in the release notes and hooking in
> lib/meson.build:
> $ git show --stat
>  doc/guides/rel_notes/release_23_11.rst | 4 ++++
>  lib/meson.build                        | 1 +
>  lib/plop/meson.build                   | 2 ++
> 
> $ ./devtools/get-maintainer.sh 0001-new-awesome-library.patch
> 
> In this case, it translates to an empty To: list if you follow the
> example command line:
>    git send-email --to-cmd ./devtools/get-maintainer.sh --cc
> dev@dpdk.org 000*.patch
> 
> We could add a default list of recipients if no maintainer is found by
> the script.
> And the next question is who should be in that list..

Or we can send to dev@dpdk.org, Cc maintainers.
This is what I do:
git send-email --to dev@dpdk.org --cc-cmd devtools/get-maintainer.sh



^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-11  8:03   ` Thomas Monjalon
@ 2023-10-11  8:30     ` Bruce Richardson
  2023-10-11  8:41       ` Ferruh Yigit
  2023-10-11 15:52       ` Stephen Hemminger
  0 siblings, 2 replies; 11+ messages in thread
From: Bruce Richardson @ 2023-10-11  8:30 UTC (permalink / raw)
  To: Thomas Monjalon; +Cc: David Marchand, dev

On Wed, Oct 11, 2023 at 10:03:07AM +0200, Thomas Monjalon wrote:
> 11/10/2023 09:30, David Marchand:
> > On Tue, Oct 10, 2023 at 6:26 PM Thomas Monjalon <thomas@monjalon.net> wrote:
> > >
> > > In the contributor guide, it was said that no need to Cc maintainers
> > > for new additions, probably for new directories not having a maintainer.
> > > There is no harm, and it is a good habit, to always Cc maintainers.
> > >
> > > Remove this case as it can mislead to not Cc maintainers when needed.
> > >
> > > Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
> > 
> > I agree Cc: maintainers should be the default / recommended way of
> > sending patches.
> > 
> > Just to convince myself, adding some meson skeleton for a "plop"
> > library, adding an entry in the release notes and hooking in
> > lib/meson.build:
> > $ git show --stat
> >  doc/guides/rel_notes/release_23_11.rst | 4 ++++
> >  lib/meson.build                        | 1 +
> >  lib/plop/meson.build                   | 2 ++
> > 
> > $ ./devtools/get-maintainer.sh 0001-new-awesome-library.patch
> > 
> > In this case, it translates to an empty To: list if you follow the
> > example command line:
> >    git send-email --to-cmd ./devtools/get-maintainer.sh --cc
> > dev@dpdk.org 000*.patch
> > 
> > We could add a default list of recipients if no maintainer is found by
> > the script.
> > And the next question is who should be in that list..
> 
> Or we can send to dev@dpdk.org, Cc maintainers.
> This is what I do:
> git send-email --to dev@dpdk.org --cc-cmd devtools/get-maintainer.sh
> 
+1 for this, mainly on the basis of it being what I do too! :-)

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-11  8:30     ` Bruce Richardson
@ 2023-10-11  8:41       ` Ferruh Yigit
  2023-10-11 10:20         ` Thomas Monjalon
  2023-10-11 15:52       ` Stephen Hemminger
  1 sibling, 1 reply; 11+ messages in thread
From: Ferruh Yigit @ 2023-10-11  8:41 UTC (permalink / raw)
  To: Bruce Richardson, Thomas Monjalon; +Cc: David Marchand, dev

On 10/11/2023 9:30 AM, Bruce Richardson wrote:
> On Wed, Oct 11, 2023 at 10:03:07AM +0200, Thomas Monjalon wrote:
>> 11/10/2023 09:30, David Marchand:
>>> On Tue, Oct 10, 2023 at 6:26 PM Thomas Monjalon <thomas@monjalon.net> wrote:
>>>>
>>>> In the contributor guide, it was said that no need to Cc maintainers
>>>> for new additions, probably for new directories not having a maintainer.
>>>> There is no harm, and it is a good habit, to always Cc maintainers.
>>>>
>>>> Remove this case as it can mislead to not Cc maintainers when needed.
>>>>
>>>> Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
>>>
>>> I agree Cc: maintainers should be the default / recommended way of
>>> sending patches.
>>>
>>> Just to convince myself, adding some meson skeleton for a "plop"
>>> library, adding an entry in the release notes and hooking in
>>> lib/meson.build:
>>> $ git show --stat
>>>  doc/guides/rel_notes/release_23_11.rst | 4 ++++
>>>  lib/meson.build                        | 1 +
>>>  lib/plop/meson.build                   | 2 ++
>>>
>>> $ ./devtools/get-maintainer.sh 0001-new-awesome-library.patch
>>>
>>> In this case, it translates to an empty To: list if you follow the
>>> example command line:
>>>    git send-email --to-cmd ./devtools/get-maintainer.sh --cc
>>> dev@dpdk.org 000*.patch
>>>
>>> We could add a default list of recipients if no maintainer is found by
>>> the script.
>>> And the next question is who should be in that list..
>>
>> Or we can send to dev@dpdk.org, Cc maintainers.
>> This is what I do:
>> git send-email --to dev@dpdk.org --cc-cmd devtools/get-maintainer.sh
>>
> +1 for this, mainly on the basis of it being what I do too! :-)
>

I am for "--to-cmd=./devtools/get-maintainer.sh --cc dev@dpdk.org"

To highlight response is expected from the maintainers, and community is
informed.

Also people may have filters to give higher priority to emails they are
in 'to' list, high priority is what we want from maintainers :)


^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-11  8:41       ` Ferruh Yigit
@ 2023-10-11 10:20         ` Thomas Monjalon
  2023-10-11 10:22           ` Ferruh Yigit
  0 siblings, 1 reply; 11+ messages in thread
From: Thomas Monjalon @ 2023-10-11 10:20 UTC (permalink / raw)
  To: Ferruh Yigit; +Cc: Bruce Richardson, David Marchand, dev

11/10/2023 10:41, Ferruh Yigit:
> On 10/11/2023 9:30 AM, Bruce Richardson wrote:
> > On Wed, Oct 11, 2023 at 10:03:07AM +0200, Thomas Monjalon wrote:
> >> 11/10/2023 09:30, David Marchand:
> >>> On Tue, Oct 10, 2023 at 6:26 PM Thomas Monjalon <thomas@monjalon.net> wrote:
> >>>>
> >>>> In the contributor guide, it was said that no need to Cc maintainers
> >>>> for new additions, probably for new directories not having a maintainer.
> >>>> There is no harm, and it is a good habit, to always Cc maintainers.
> >>>>
> >>>> Remove this case as it can mislead to not Cc maintainers when needed.
> >>>>
> >>>> Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
> >>>
> >>> I agree Cc: maintainers should be the default / recommended way of
> >>> sending patches.
> >>>
> >>> Just to convince myself, adding some meson skeleton for a "plop"
> >>> library, adding an entry in the release notes and hooking in
> >>> lib/meson.build:
> >>> $ git show --stat
> >>>  doc/guides/rel_notes/release_23_11.rst | 4 ++++
> >>>  lib/meson.build                        | 1 +
> >>>  lib/plop/meson.build                   | 2 ++
> >>>
> >>> $ ./devtools/get-maintainer.sh 0001-new-awesome-library.patch
> >>>
> >>> In this case, it translates to an empty To: list if you follow the
> >>> example command line:
> >>>    git send-email --to-cmd ./devtools/get-maintainer.sh --cc
> >>> dev@dpdk.org 000*.patch
> >>>
> >>> We could add a default list of recipients if no maintainer is found by
> >>> the script.
> >>> And the next question is who should be in that list..
> >>
> >> Or we can send to dev@dpdk.org, Cc maintainers.
> >> This is what I do:
> >> git send-email --to dev@dpdk.org --cc-cmd devtools/get-maintainer.sh
> >>
> > +1 for this, mainly on the basis of it being what I do too! :-)
> >
> 
> I am for "--to-cmd=./devtools/get-maintainer.sh --cc dev@dpdk.org"
> 
> To highlight response is expected from the maintainers, and community is
> informed.
> 
> Also people may have filters to give higher priority to emails they are
> in 'to' list, high priority is what we want from maintainers :)

They should give high priority when they are Cc as well.

The problem is that we may have patches with empty "To",
especially for cover letters and new libs.




^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-11 10:20         ` Thomas Monjalon
@ 2023-10-11 10:22           ` Ferruh Yigit
  2023-10-11 16:03             ` Thomas Monjalon
  0 siblings, 1 reply; 11+ messages in thread
From: Ferruh Yigit @ 2023-10-11 10:22 UTC (permalink / raw)
  To: Thomas Monjalon; +Cc: Bruce Richardson, David Marchand, dev

On 10/11/2023 11:20 AM, Thomas Monjalon wrote:
> 11/10/2023 10:41, Ferruh Yigit:
>> On 10/11/2023 9:30 AM, Bruce Richardson wrote:
>>> On Wed, Oct 11, 2023 at 10:03:07AM +0200, Thomas Monjalon wrote:
>>>> 11/10/2023 09:30, David Marchand:
>>>>> On Tue, Oct 10, 2023 at 6:26 PM Thomas Monjalon <thomas@monjalon.net> wrote:
>>>>>>
>>>>>> In the contributor guide, it was said that no need to Cc maintainers
>>>>>> for new additions, probably for new directories not having a maintainer.
>>>>>> There is no harm, and it is a good habit, to always Cc maintainers.
>>>>>>
>>>>>> Remove this case as it can mislead to not Cc maintainers when needed.
>>>>>>
>>>>>> Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
>>>>>
>>>>> I agree Cc: maintainers should be the default / recommended way of
>>>>> sending patches.
>>>>>
>>>>> Just to convince myself, adding some meson skeleton for a "plop"
>>>>> library, adding an entry in the release notes and hooking in
>>>>> lib/meson.build:
>>>>> $ git show --stat
>>>>>  doc/guides/rel_notes/release_23_11.rst | 4 ++++
>>>>>  lib/meson.build                        | 1 +
>>>>>  lib/plop/meson.build                   | 2 ++
>>>>>
>>>>> $ ./devtools/get-maintainer.sh 0001-new-awesome-library.patch
>>>>>
>>>>> In this case, it translates to an empty To: list if you follow the
>>>>> example command line:
>>>>>    git send-email --to-cmd ./devtools/get-maintainer.sh --cc
>>>>> dev@dpdk.org 000*.patch
>>>>>
>>>>> We could add a default list of recipients if no maintainer is found by
>>>>> the script.
>>>>> And the next question is who should be in that list..
>>>>
>>>> Or we can send to dev@dpdk.org, Cc maintainers.
>>>> This is what I do:
>>>> git send-email --to dev@dpdk.org --cc-cmd devtools/get-maintainer.sh
>>>>
>>> +1 for this, mainly on the basis of it being what I do too! :-)
>>>
>>
>> I am for "--to-cmd=./devtools/get-maintainer.sh --cc dev@dpdk.org"
>>
>> To highlight response is expected from the maintainers, and community is
>> informed.
>>
>> Also people may have filters to give higher priority to emails they are
>> in 'to' list, high priority is what we want from maintainers :)
> 
> They should give high priority when they are Cc as well.
> 
> The problem is that we may have patches with empty "To",
> especially for cover letters and new libs.
> 

There are indeed, for those cases I am putting 'dev' to "To:".


^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-11  8:30     ` Bruce Richardson
  2023-10-11  8:41       ` Ferruh Yigit
@ 2023-10-11 15:52       ` Stephen Hemminger
  2023-10-11 16:02         ` Thomas Monjalon
  1 sibling, 1 reply; 11+ messages in thread
From: Stephen Hemminger @ 2023-10-11 15:52 UTC (permalink / raw)
  To: Bruce Richardson; +Cc: Thomas Monjalon, David Marchand, dev

On Wed, 11 Oct 2023 09:30:23 +0100
Bruce Richardson <bruce.richardson@intel.com> wrote:

> > Or we can send to dev@dpdk.org, Cc maintainers.
> > This is what I do:
> > git send-email --to dev@dpdk.org --cc-cmd devtools/get-maintainer.sh
> >   
> +1 for this, mainly on the basis of it being what I do too! :-)

Ditto.
Maybe would be good to have alias or wrapper script?

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-11 15:52       ` Stephen Hemminger
@ 2023-10-11 16:02         ` Thomas Monjalon
  0 siblings, 0 replies; 11+ messages in thread
From: Thomas Monjalon @ 2023-10-11 16:02 UTC (permalink / raw)
  To: Stephen Hemminger; +Cc: Bruce Richardson, dev, David Marchand, ferruh.yigit

11/10/2023 17:52, Stephen Hemminger:
> On Wed, 11 Oct 2023 09:30:23 +0100
> Bruce Richardson <bruce.richardson@intel.com> wrote:
> 
> > > Or we can send to dev@dpdk.org, Cc maintainers.
> > > This is what I do:
> > > git send-email --to dev@dpdk.org --cc-cmd devtools/get-maintainer.sh
> > >   
> > +1 for this, mainly on the basis of it being what I do too! :-)
> 
> Ditto.
> Maybe would be good to have alias or wrapper script?

I am convinced we should have an interactive script to send patches.
I could make something using this tool:
	https://github.com/tmonjalo/choose



^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [PATCH] doc: remove confusing command to send patch
  2023-10-11 10:22           ` Ferruh Yigit
@ 2023-10-11 16:03             ` Thomas Monjalon
  0 siblings, 0 replies; 11+ messages in thread
From: Thomas Monjalon @ 2023-10-11 16:03 UTC (permalink / raw)
  To: Ferruh Yigit; +Cc: dev, Bruce Richardson, David Marchand, dev

11/10/2023 12:22, Ferruh Yigit:
> On 10/11/2023 11:20 AM, Thomas Monjalon wrote:
> > 11/10/2023 10:41, Ferruh Yigit:
> >> On 10/11/2023 9:30 AM, Bruce Richardson wrote:
> >>> On Wed, Oct 11, 2023 at 10:03:07AM +0200, Thomas Monjalon wrote:
> >>>> 11/10/2023 09:30, David Marchand:
> >>>>> On Tue, Oct 10, 2023 at 6:26 PM Thomas Monjalon <thomas@monjalon.net> wrote:
> >>>>>>
> >>>>>> In the contributor guide, it was said that no need to Cc maintainers
> >>>>>> for new additions, probably for new directories not having a maintainer.
> >>>>>> There is no harm, and it is a good habit, to always Cc maintainers.
> >>>>>>
> >>>>>> Remove this case as it can mislead to not Cc maintainers when needed.
> >>>>>>
> >>>>>> Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
> >>>>>
> >>>>> I agree Cc: maintainers should be the default / recommended way of
> >>>>> sending patches.
> >>>>>
> >>>>> Just to convince myself, adding some meson skeleton for a "plop"
> >>>>> library, adding an entry in the release notes and hooking in
> >>>>> lib/meson.build:
> >>>>> $ git show --stat
> >>>>>  doc/guides/rel_notes/release_23_11.rst | 4 ++++
> >>>>>  lib/meson.build                        | 1 +
> >>>>>  lib/plop/meson.build                   | 2 ++
> >>>>>
> >>>>> $ ./devtools/get-maintainer.sh 0001-new-awesome-library.patch
> >>>>>
> >>>>> In this case, it translates to an empty To: list if you follow the
> >>>>> example command line:
> >>>>>    git send-email --to-cmd ./devtools/get-maintainer.sh --cc
> >>>>> dev@dpdk.org 000*.patch
> >>>>>
> >>>>> We could add a default list of recipients if no maintainer is found by
> >>>>> the script.
> >>>>> And the next question is who should be in that list..
> >>>>
> >>>> Or we can send to dev@dpdk.org, Cc maintainers.
> >>>> This is what I do:
> >>>> git send-email --to dev@dpdk.org --cc-cmd devtools/get-maintainer.sh
> >>>>
> >>> +1 for this, mainly on the basis of it being what I do too! :-)
> >>>
> >>
> >> I am for "--to-cmd=./devtools/get-maintainer.sh --cc dev@dpdk.org"
> >>
> >> To highlight response is expected from the maintainers, and community is
> >> informed.
> >>
> >> Also people may have filters to give higher priority to emails they are
> >> in 'to' list, high priority is what we want from maintainers :)
> > 
> > They should give high priority when they are Cc as well.
> > 
> > The problem is that we may have patches with empty "To",
> > especially for cover letters and new libs.
> 
> There are indeed, for those cases I am putting 'dev' to "To:".

So it would be simpler to recommend a single method with maintainers as Cc.



^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2023-10-11 16:03 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-10-10 16:26 [PATCH] doc: remove confusing command to send patch Thomas Monjalon
2023-10-11  2:04 ` fengchengwen
2023-10-11  7:30 ` David Marchand
2023-10-11  8:03   ` Thomas Monjalon
2023-10-11  8:30     ` Bruce Richardson
2023-10-11  8:41       ` Ferruh Yigit
2023-10-11 10:20         ` Thomas Monjalon
2023-10-11 10:22           ` Ferruh Yigit
2023-10-11 16:03             ` Thomas Monjalon
2023-10-11 15:52       ` Stephen Hemminger
2023-10-11 16:02         ` Thomas Monjalon

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).