13 Dec 2022 |
| @RSSBot[joschimat:libera.chat joined the room. | 17:50:57 |
19 Dec 2022 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v4.1.35 | 21:38:35 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v4.2.14 | 21:38:36 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v5.0.0-rc14 | 21:48:35 |
21 Dec 2022 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v4.2.15 | 20:45:58 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v5.0.0-rc15 | 20:45:58 |
27 Jan 2023 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v4.1.36 | 22:11:49 |
28 Jan 2023 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from dropwizard: v2.0.35 | 21:57:45 |
9 Feb 2023 |
| @erictroupetester:matrix.org joined the room. | 16:44:27 |
12 Feb 2023 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v4.2.16 | 22:24:48 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v5.0.0-rc16 | 22:29:48 |
22 Feb 2023 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from dropwizard: v2.1.5 | 23:00:39 |
23 Feb 2023 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v4.2.17 | 14:42:27 |
24 Feb 2023 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from dropwizard: v3.0.0-beta.5 | 09:18:09 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from dropwizard: v4.0.0-beta.4 | 09:23:10 |
12 Mar 2023 |
| @erictroupetester:matrix.org left the room. | 09:00:38 |
17 Mar 2023 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from metrics: v4.2.18 | 21:56:55 |
22 Mar 2023 |
| RSS Bot [@joschi:matrix.org] (deprecated) changed their display name from RSS Bot [@joschi:matrix.org] to RSS Bot [@joschi:matrix.org] (deprecated). | 16:01:31 |
RSS Bot [@joschi:matrix.org] (deprecated) | Service message: A new version of this bot is available, please see https://ems-docs.element.io/books/element-cloud-documentation/page/migrate-to-the-new-github-and-feeds-bots for instructions on how to migrate. This bot will remain functional for the time being, but can no longer be configured. | 16:01:32 |
28 Mar 2023 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from dropwizard: v2.1.6 | 22:01:56 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from dropwizard: v3.0.0 | 22:26:56 |
RSS Bot [@joschi:matrix.org] (deprecated) | Release notes from dropwizard: v4.0.0 | 22:26:57 |
14 May 2023 |
| @jplock_:libera.chat left the room. | 22:51:07 |
14 Jun 2023 |
| @RSSBot[joschimat:libera.chat left the room. | 14:23:54 |
5 Aug 2023 |
@appservice:libera.chat | The libera.chat bridge will be temporarily suspended at 14:00 UTC today. Please see https://matrix.org/blog/2023/08/libera-bridge-disabled/ for more information. | 10:48:30 |
5 Nov 2023 |
| progmanos joined the room. | 17:26:24 |
5 Dec 2023 |
| @appservice:libera.chat left the room. | 00:49:47 |
| @jplock:libera.chat left the room. | 00:49:47 |
13 Jan 2024 |
| psydroid changed their profile picture. | 20:53:08 |
15 Jan 2024 |
| psydroid changed their profile picture. | 08:35:13 |