Filter problem of accidental extra version increment

[merks]

#1671

[merks]

@akurtakov @jjohnstn

I don't think the problems where relate to my changes.

[iloveeclipse]

I don't think the problems where relate to my changes.

Surely not. Thanks Ed.

[jjohnstn]

@iloveeclipse I did see that there was a version bump and was going to comment but I also saw from @fedejeanne that it fixed the PR build error. Is there an issue with the PR version checking or was this just a hiccup?

[iloveeclipse]

@iloveeclipse I did see that there was a version bump and was going to comment but I also saw from @fedejeanne that it fixed the PR build error. Is there an issue with the PR version checking or was this just a hiccup?

The problem was real and Ed "fixed" it via API filter, thanks Ed!

Ideally one should rebase every PR before merging or check it locally on latest head to avoid such problems in the future.

[jjohnstn]

My bad for merging. Thanks Ed.

[fedejeanne]

@jjohnstn sorry for the inconvenience! I'm trying to learn how to avoid this in the future so it doesn't fall on your lap (or on the lap of any other committer) in the future --> eclipse-platform/eclipse.platform.releng.aggregator#2406