Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[statet-dev] [CI] Build 'statet-master' #158 (202112132300) - SUCCESS 
Build 'statet-master' #158 (202112132300)
https://ci.eclipse.org/statet/job/statet-master/158/
Result state: SUCCESS

### Changes

  * Bug 577782: [Preferences] Add PreferenceUtils.mergeNode
      - https://bugs.eclipse.org/bugs/show_bug.cgi?id=577782

  * [Tex-Model] Fix false status TYPE123_GROUP_NOT_CLOSED for source root

  * Bug 577760: Improve AbstractAstProblemReporter
      - https://bugs.eclipse.org/bugs/show_bug.cgi?id=577760

  * Bug 577782: [RPkg-Mgr] Fix preference definitions for custom repos
      - https://bugs.eclipse.org/bugs/show_bug.cgi?id=577782

### Deployed to

  * Downloads:  https://download.eclipse.org/statet/integration/latest
  * Maven repo: https://repo.eclipse.org/content/repositories/statet-snapshots

Back to the top