| 15 Nov 2023 |
|  mjolnirchanged room power levels. | 18:12:33 |
|  @eisfunke:eisfunke.com changed their profile picture. | 22:41:05 |
| 16 Nov 2023 |
|  eva | 10:40:28 |
| 18 Nov 2023 |
|  gaast joined the room. | 11:15:41 |
| gaast changed their display name from gaast to gaata. | 11:22:33 |
| 19 Nov 2023 |
|  pbsds changed their display name from pbsds to pbsds (federation borken, may not see reply). | 03:36:18 |
|  ZXGU joined the room. | 10:57:08 |
| pbsds changed their display name from pbsds (federation borken, may not see reply) to pbsds. | 20:39:17 |
| 21 Nov 2023 |
|  εΉΈη« (πππΎπ/πππΎπ) left the room. | 00:42:56 |
|  pedrohlc β‘οΈ joined the room. | 14:01:23 |
|  niksnut changed their display name from niksnut to Eelco. | 16:37:26 |
| 22 Nov 2023 |
|  Xe (xe/they) changed their profile picture. | 03:43:34 |
| 25 Nov 2023 |
|  @jeremystucki:matrix.org left the room. | 12:32:42 |
|  @nam3l33ss:matrix.org changed their profile picture. | 13:21:51 |
| 26 Nov 2023 |
|  @andreas:schildbach.de changed their display name from Andreas to pink. | 13:58:37 |
| @andreas:schildbach.de changed their display name from pink to Andreas. | 14:25:31 |
|  rdobre joined the room. | 21:10:09 |
| 29 Nov 2023 |
|  jopejoe1 (4094@39c3) joined the room. | 18:49:21 |
| 1 Dec 2023 |
|  @lotte:chir.rs changed their profile picture. | 09:41:50 |
|  moritz.hedtke set their display name to Moritz Hedtke. | 11:08:12 |
| 2 Dec 2023 |
|  Hellyn joined the room. | 15:18:43 |
|  sheijk changed their display name from sheijk2 to sheijk. | 22:36:18 |
| 5 Dec 2023 |
|  @federicodschonborn:matrix.org changed their profile picture. | 00:38:55 |
| 6 Dec 2023 |
 Rick (Mindavi) | https://github.com/NixOS/nixpkgs/pull/272125 | 02:01:42 |
|  Hristo Bakardzhiev joined the room. | 09:18:20 |
 Pol | In reply to @rick:matrix.ciphernetics.nl
https://github.com/NixOS/nixpkgs/pull/272125 LGTM, but I'll wait before merging, this is touching a sensible part and I don't want to break things! | 10:35:37 |
|  stick changed their profile picture. | 11:25:04 |
| 7 Dec 2023 |
|  Greg Burd changed their display name from gregburd to Greg Burd. | 12:18:59 |
|  alan set a profile picture. | 21:25:51 |
| alan changed their profile picture. | 21:36:22 |
