541805 – Update and adapt StatET to Eclipse 2018-12

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 541805 - Update and adapt StatET to Eclipse 2018-12

Summary: Update and adapt StatET to Eclipse 2018-12

Status:	CLOSED FIXED

Alias:	None

Product:	Statet
Classification:	Science
Component:	General (show other bugs)
Version:	4.0.0-dev
Hardware:	All All

Importance:	P3 normal (vote)
Target Milestone:	4.0.0
Assignee:	Stephan Wahlbrink
QA Contact:

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2018-12-03 02:45 EST by Stephan Wahlbrink
Modified:	2019-07-20 04:14 EDT (History)
CC List:	0 users

See Also:	Gerrit Change Gerrit Change Gerrit Change Gerrit Change Gerrit Change Gerrit Change Git Commit Git Commit Git Commit Git Commit Git Commit Git Commit Gerrit Change Git Commit

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Stephan Wahlbrink

2018-12-03 02:45:03 EST

Comment 1 Eclipse Genie

2018-12-04 08:59:35 EST

New Gerrit change created: https://git.eclipse.org/r/133456

Comment 2 Eclipse Genie

2018-12-04 09:00:18 EST

New Gerrit change created: https://git.eclipse.org/r/133457

Comment 3 Eclipse Genie

2018-12-04 09:01:30 EST

New Gerrit change created: https://git.eclipse.org/r/133458

Comment 4 Eclipse Genie

2018-12-04 09:14:58 EST

New Gerrit change created: https://git.eclipse.org/r/133460

Comment 5 Eclipse Genie

2018-12-04 09:15:02 EST

New Gerrit change created: https://git.eclipse.org/r/133461

Comment 6 Eclipse Genie

2018-12-04 09:15:14 EST

New Gerrit change created: https://git.eclipse.org/r/133462

Comment 7 Eclipse Genie

2018-12-04 11:52:20 EST

Gerrit change https://git.eclipse.org/r/133456 was merged to [master].
Commit: http://git.eclipse.org/c/statet/org.eclipse.statet-commons.git/commit/?id=d2a589df5306164c7e336ba13a698dd2a3f74e29

Comment 8 Eclipse Genie

2018-12-04 11:52:22 EST

Gerrit change https://git.eclipse.org/r/133457 was merged to [master].
Commit: http://git.eclipse.org/c/statet/org.eclipse.statet-ltk.git/commit/?id=381abb5e18945388b66739034c834c03c7c16cbd

Comment 9 Eclipse Genie

2018-12-04 11:53:04 EST

Gerrit change https://git.eclipse.org/r/133458 was merged to [master].
Commit: http://git.eclipse.org/c/statet/org.eclipse.statet-eutils.git/commit/?id=34ba16168877af727c5e766396e7a5c85550a1a5

Comment 10 Eclipse Genie

2018-12-04 11:53:46 EST

Gerrit change https://git.eclipse.org/r/133460 was merged to [master].
Commit: http://git.eclipse.org/c/statet/org.eclipse.statet-docmlet.git/commit/?id=b4c0621c9d1396bb0135489492f9d4834262f277

Comment 11 Eclipse Genie

2018-12-04 11:54:28 EST

Gerrit change https://git.eclipse.org/r/133462 was merged to [master].
Commit: http://git.eclipse.org/c/statet/org.eclipse.statet-rj.git/commit/?id=1b108dd234ac9fe2900cf3977217c08a766b1824

Comment 12 Eclipse Genie

2018-12-04 11:55:41 EST

Gerrit change https://git.eclipse.org/r/133461 was merged to [master].
Commit: http://git.eclipse.org/c/statet/org.eclipse.statet-r.git/commit/?id=f150d872b0dce4fc3a0fa23436d53a0ad2bcf495

Comment 13 Eclipse Genie

2018-12-16 14:49:41 EST

New Gerrit change created: https://git.eclipse.org/r/134112

Comment 14 Eclipse Genie

2019-01-24 11:44:58 EST

Gerrit change https://git.eclipse.org/r/134112 was merged to [master].
Commit: http://git.eclipse.org/c/statet/org.eclipse.statet.git/commit/?id=e1fff6dc74acf1ed60ba1f707388f3178d5f731c

Comment 15 Stephan Wahlbrink

2019-07-20 04:14:41 EDT

4.0.0 released.