Re: [jakarta.ee-spec.committee] Fixing errors on Spec. pages

[Ivar Grimstad <ivar.grimstad@xxxxxxxxxxxxxxxxxxxxxx>]

My take is that minor changes/fixes are ok to merge. 

Ivar

On Wed, Aug 26, 2020, 19:06 Ed Bratt <ed.bratt@xxxxxxxxxx> wrote:

Hey,

I noticed a mistake on the Jakarta Activation 1.2 Spec. page. I
submitted a PR to fix the mistake. The repo. has no restrictions on
merges. Should I just merge it?

https://github.com/jakartaee/specifications/pull/255

For small changes like this, do we want to establish a process or, can
we just take the initiative and fix it?

-- Ed

_______________________________________________
jakarta.ee-spec.committee mailing list
jakarta.ee-spec.committee@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jakarta.ee-spec.committee