pr  

Messages by Thread

• • Re: [PR] GH-2402: RDF Patch Binary handles malformed inputs better [jena] via GitHub
  • Re: [PR] GH-2402: RDF Patch Binary handles malformed inputs better [jena] via GitHub
• [PR] Bump @eslint/js from 9.5.0 to 9.6.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump @eslint/js from 9.5.0 to 9.6.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump @eslint/js from 9.5.0 to 9.6.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump eslint-plugin-vue from 9.26.0 to 9.27.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump eslint-plugin-vue from 9.26.0 to 9.27.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump eslint-plugin-vue from 9.26.0 to 9.27.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump cypress from 13.12.0 to 13.13.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump cypress from 13.12.0 to 13.13.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump eslint-plugin-promise from 6.2.0 to 6.4.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump eslint-plugin-promise from 6.2.0 to 6.4.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump org.roaringbitmap:RoaringBitmap from 1.0.6 to 1.1.0 [jena] via GitHub
  • Re: [PR] Bump org.roaringbitmap:RoaringBitmap from 1.0.6 to 1.1.0 [jena] via GitHub
• [PR] Bump vite from 5.2.13 to 5.3.1 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump @eslint/js from 9.4.0 to 9.5.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump cypress from 13.11.0 to 13.12.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump ws from 8.17.0 to 8.17.1 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump ws from 8.17.0 to 8.17.1 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• Re: [PR] GH-2487: add OntClass#canAs*Class methods + fix some mistakes [jena] via GitHub
• [PR] Bump jakarta.servlet:jakarta.servlet-api from 6.0.0 to 6.1.0 [jena] via GitHub
  • Re: [PR] Bump jakarta.servlet:jakarta.servlet-api from 6.0.0 to 6.1.0 [jena] via GitHub
  • Re: [PR] Bump jakarta.servlet:jakarta.servlet-api from 6.0.0 to 6.1.0 [jena] via GitHub
• [PR] Bump org.apache.maven.plugins:maven-surefire-plugin from 3.2.5 to 3.3.0 [jena] via GitHub
  • Re: [PR] Bump org.apache.maven.plugins:maven-surefire-plugin from 3.2.5 to 3.3.0 [jena] via GitHub
• [PR] Prefixes service [jena] via GitHub
  • Re: [PR] Prefixes service [jena] via GitHub
  • Re: [PR] GH-2543: Prefixes service [jena] via GitHub
  • Re: [PR] GH-2543: Prefixes service [jena] via GitHub
  • Re: [PR] GH-2543: Prefixes service [jena] via GitHub
• [PR] Bump braces from 3.0.2 to 3.0.3 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump braces from 3.0.2 to 3.0.3 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 4 updates [jena] via GitHub
• Re: [PR] GH-2487: optimize HierarchySupport#contains; add OntClass#has{Sub|Super}Class, OntProperty#has{Sub|Super}Property + minor refactoring [jena] via GitHub
  • Re: [PR] GH-2487: optimize HierarchySupport#contains; add OntClass#has{Sub|Super}Class, OntProperty#has{Sub|Super}Property + minor refactoring [jena] via GitHub
  • Re: [PR] GH-2487: optimize HierarchySupport#contains; add OntClass#has{Sub|Super}Class, OntProperty#has{Sub|Super}Property + minor refactoring [jena] via GitHub
• [PR] Bump ver.lucene from 9.10.0 to 9.11.0 [jena] via GitHub
  • Re: [PR] Bump ver.lucene from 9.10.0 to 9.11.0 [jena] via GitHub
• [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 3 updates [jena] via GitHub
• [PR] java.util.logging control code cleanup [jena] via GitHub
  • Re: [PR] java.util.logging control code cleanup [jena] via GitHub
• [PR] GH-1611: supply initial value for acceptHeaderGraph to requestConfig [jena] via GitHub
  • Re: [PR] GH-1611: supply initial value for acceptHeaderGraph to requestConfig [jena] via GitHub
  • Re: [PR] GH-1611: supply initial value for acceptHeaderGraph to requestConfig [jena] via GitHub
  • Re: [PR] GH-1611: supply initial value for acceptHeaderGraph to requestConfig [jena] via GitHub
  • Re: [PR] GH-1611: supply initial value for acceptHeaderGraph to requestConfig [jena] via GitHub
  • Re: [PR] GH-1611: supply initial value for acceptHeaderGraph to requestConfig [jena] via GitHub
  • Re: [PR] GH-1611: supply initial value for acceptHeaderGraph to requestConfig [jena] via GitHub
  • Re: [PR] GH-1611: supply initial value for acceptHeaderGraph to requestConfig [jena] via GitHub
• [PR] Add -proc:none to call of Java compiler (Test_schemagen) [jena] via GitHub
  • Re: [PR] Add -proc:none to call of Java compiler (Test_schemagen) [jena] via GitHub
• [PR] JENA-2354 Make initial size of node caches configurable via StoreParams [jena] via GitHub
  • Re: [PR] JENA-2354 Make initial size of node caches configurable via StoreParams [jena] via GitHub
  • Re: [PR] JENA-2354 Make initial size of node caches configurable via StoreParams [jena] via GitHub
  • Re: [PR] JENA-2354 Make initial size of node caches configurable via StoreParams [jena] via GitHub
  • Re: [PR] JENA-2354 Make initial size of node caches configurable via StoreParams [jena] via GitHub
  • Re: [PR] JENA-2354 Make initial size of node caches configurable via StoreParams [jena] via GitHub
• Re: [PR] GH-2462: Fuseki reload configuration [jena] via GitHub
  • Re: [PR] GH-2462: Fuseki reload configuration [jena] via GitHub
  • Re: [PR] GH-2462: Fuseki reload configuration [jena] via GitHub
  • Re: [PR] GH-2462: Fuseki reload configuration [jena] via GitHub
  • Re: [PR] GH-2462: Fuseki reload configuration [jena] via GitHub
• [PR] Bump cypress from 13.10.0 to 13.11.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump cypress from 13.10.0 to 13.11.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump eslint-plugin-cypress from 3.2.0 to 3.3.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump eslint-plugin-cypress from 3.2.0 to 3.3.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump @eslint/js from 9.3.0 to 9.4.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
  • Re: [PR] Bump @eslint/js from 9.3.0 to 9.4.0 in /jena-fuseki2/jena-fuseki-ui [jena] via GitHub
• [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
  • Re: [PR] Bump the npm-patch-group group in /jena-fuseki2/jena-fuseki-ui with 3 updates [jena] via GitHub
• [PR] Bump org.apache.maven.plugins:maven-shade-plugin from 3.5.3 to 3.6.0 [jena] via GitHub
  • Re: [PR] Bump org.apache.maven.plugins:maven-shade-plugin from 3.5.3 to 3.6.0 [jena] via GitHub
• [PR] Bump org.apache.maven.plugins:maven-enforcer-plugin from 3.4.1 to 3.5.0 [jena] via GitHub
  • Re: [PR] Bump org.apache.maven.plugins:maven-enforcer-plugin from 3.4.1 to 3.5.0 [jena] via GitHub
• [PR] Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.6.3 to 3.7.0 [jena] via GitHub
  • Re: [PR] Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.6.3 to 3.7.0 [jena] via GitHub
• [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub
  • Re: [PR] Bump the maven-patch-group group with 2 updates [jena] via GitHub

• Earlier messages
• Later messages