Re: [PR] Fix minor docs typo [jena-site]

2023-10-20 Thread via GitHub
kinow merged PR #169: URL: https://github.com/apache/jena-site/pull/169 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: dev-unsubscr...@jena.apache.org

[PR] Fix minor docs typo [jena-site]

2023-10-20 Thread via GitHub
acoburn opened a new pull request, #169: URL: https://github.com/apache/jena-site/pull/169 (no comment) -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe,

Re: [Lazy] Jena5 Branch

2023-10-20 Thread Andy Seaborne
On 19/10/2023 22:21, Bruno Kinoshita wrote: Great progress Andy! I saw that you created several issues for Jena5. Sorry - because it's a branch, github hasn't closed them when the PR was merged. https://github.com/apache/jena/issues?q=is%3Aissue+is%3Aopen+label%3AJena5 should make

[reboot required] unattended-upgrades result for jena-vm.apache.org: SUCCESS

2023-10-20 Thread root
Unattended upgrade result: All upgrades installed Warning: A reboot is required to complete this upgrade, or a previous one. Packages that were upgraded: linux-generic linux-headers-generic linux-image-generic linux-libc-dev sosreport Packages that were auto-removed: linux-headers-5.4.0-163