IRC log for #luanti-dev, 2026-07-02

Time	Nick	Message
00:17		crazylad joined #luanti-dev
02:15		vampirefrog joined #luanti-dev
04:00		MTDiscord joined #luanti-dev
08:10	sfan5	merging #17124 later
08:10	ShadowBot	https://github.com/luanti-org/luanti/issues/17124 -- Migrate Docker CI to `docker/github-builder` by AFCMS
08:16		book` joined #luanti-dev
11:23		SpaceManiac joined #luanti-dev
11:35		SpaceManiac joined #luanti-dev
13:02		turtleman joined #luanti-dev
17:07		crazylad joined #luanti-dev
18:30		crazylad joined #luanti-dev
19:55		MTDiscord joined #luanti-dev
22:33		panwolfram joined #luanti-dev