| 29 May 2023 |
|  .rror#0 changed their display name from Σrror to Σrror#7727. | 17:39:16 |
| 3 Jun 2023 |
|  potatoef changed their display name from Potatoe[F[_]] to Potatoe[F[_]]#8651. | 08:18:42 |
| potatoef changed their display name from Potatoe[F[_]]#8651 to Potatoe[F[_]]. | 08:18:48 |
| 7 Jun 2023 |
|  aly.fish changed their display name from Aly to aly.fish#0. | 18:56:13 |
| aly.fish changed their display name from aly.fish#0 to aly.fish. | 18:56:23 |
| 8 Jun 2023 |
 sethtisue | https://www.scalabridgelondon.org/posts/2023-06-08-scalabridge-in-2023/ | 14:13:42 |
| 9 Jun 2023 |
|  ashhan#0 changed their display name from Ashhan to ashhan#0. | 13:58:43 |
|  jungle_hacker69 changed their profile picture. | 20:46:10 |
| 10 Jun 2023 |
|  j_mie6 changed their display name from jmie6 to j_mie6#0. | 09:59:04 |
| j_mie6 changed their display name from j_mie6#0 to j_mie6. | 09:59:05 |
| 13 Jun 2023 |
|  davidf changed their display name from davidf to davidf#0. | 20:03:47 |
| davidf changed their display name from davidf#0 to davidf. | 20:03:53 |
| 14 Jun 2023 |
|  lafeychine changed their display name from v-lafeychine to lafeychine#0. | 12:14:34 |
| lafeychine changed their display name from lafeychine#0 to lafeychine. | 12:14:39 |
|  steadhaven changed their display name from Zone of proximal development#2188 to marouan28#0. | 14:37:45 |
| steadhaven changed their display name from marouan28#0 to marouan28. | 14:37:53 |
| sethtisue changed their display name from SethTisue#7418 to sethtisue#0. | 21:44:54 |
| sethtisue changed their display name from sethtisue#0 to sethtisue. | 21:44:57 |
| 16 Jun 2023 |
| jungle_hacker69 changed their profile picture. | 05:31:52 |
| 18 Jun 2023 |
|  trexd#0 changed their display name from Trexd to trexd#0. | 15:10:36 |
| 19 Jun 2023 |
|  carlosedp changed their display name from carlosedp to carlosedp#0. | 20:24:02 |
| carlosedp changed their display name from carlosedp#0 to carlosedp. | 20:24:06 |
| 20 Jun 2023 |
|  vasilmkd changed their display name from vasilmkd to vasilmkd#0. | 17:10:44 |
| vasilmkd changed their display name from vasilmkd#0 to vasilmkd. | 17:10:49 |
| 22 Jun 2023 |
|  bitstrap changed their display name from BitStrap to bitstrap#0. | 14:48:10 |
| bitstrap changed their display name from bitstrap#0 to bitstrap. | 14:48:16 |
|  AlexITC changed their display name from AlexITC to alexitc#0. | 19:04:49 |
| AlexITC changed their display name from alexitc#0 to AlexITC. | 19:04:50 |
| 26 Jun 2023 |
|  julienrf changed their display name from julienrf to julienrf#0. | 11:55:54 |
| julienrf changed their display name from julienrf#0 to julienrf. | 11:55:56 |
