[Done] Lemmy world was upgraded to 0.18.3 today (2023-07-30)
[Done] Lemmy world was upgraded to 0.18.3 today (2023-07-30)
Update The upgrade was done, DB migrations took around 5 minutes. We'll keep an eye out for (new) issues but for now it seems to be OK.
Original message We will upgrade lemmy.world to 0.18.3 today at 20:00 UTC+2 (Check what this isn in your timezone). Expect the site to be down for a few minutes. ""Edit"" I was warned it could be more than a few minutes. The database update might even take 30 minutes or longer.
Release notes for 0.18.3 can be found here: https://github.com/LemmyNet/lemmy/blob/main/RELEASES.md
(This is unrelated to the downtimes we experienced lately, those are caused by attacks that we're still looking into mitigating. Sorry for those)
You're viewing a single thread.
Minor suggestion: write your time zones like UTC+2 and not CEST. I'm pretty sure most people outside Europe don't know what the time zone CEST is. Yes, you provided a link that helpfully converts the time to the users' local time zone, but sometimes it's nicer to be able to know something without having to click into a link.
OK, updating the post
Wow, you actually changed it! I was kind of shocked when I came back to my feed seeing UTC+2 in the title. Thanks! :D
Yep, I like good tips like these. :-) Thanks
Super nitpick. Can we just use 1800 utc? Then everyone can convert to their zone directly. *signed me in a CEST zone.
I keep one of my spare clocks set to UTC for exactly this.
yeh, the actual utc time is much more straightforward than +2
it would be nice if Lemmy had support for formatting Unix timestamps in whatever timezone whoever is looking at it is in, like discord
That could be fixed in the apps and UI:s as a cosmetical improvement based on a timezone entered in the user settings. UTC is... universal.
The problem with open-source for me is reading ideas like this and having to deal with the frustration of not knowing how to write it myself.
Here is an alternative Piped link(s): https://piped.video/watch?v=-5wpm-gesOY
Piped is a privacy-respecting open-source alternative frontend to YouTube.
I'm open-source, check me out at GitHub.