03:03 mareko: jenatali: it seems like a different type should have no effect on the mip completeness because it only defines the format of the passed data pointer, and it's a Mesa bug that Mesa chooses a different pipe_format
03:05 jenatali: mareko: Nah, the spec says that drivers are allowed to choose a different internal format based on the format+type params, when given a generic internal format
03:07 jenatali: Allowed to choose a different "effective internal format" which it says it what contributes to completeness requirements
03:25 mareko: ah
16:23 ity: Hello, is https://gitlab.freedesktop.org/drm/igt-gpu-tools under Mesa? I can't tell
20:44 mareko: no
21:40 ity: Ah, I see, any idea whether it has an oftc channel?
22:04 mareko: this channel is fine, it's just not under the gitlab group of mesa
23:21 ity: Ah, I see - I found a bug and fixed it, it's a one line off-by-one in the renderer of intel_gpu_top, I am not 100 % sure how I should proceed. I sent a patch with my best effort to the mail address, but I have 0 experience with mailing lists, so I have no clue whether I did it right
23:34 FLHerne: ity: if it appears in the archive list it reached the mailing list https://lists.freedesktop.org/archives/igt-dev/2024-January/thread.html
23:35 FLHerne: if not you probably need to do something differently
23:35 ity: Hmm, I have no idea what to do differently, it seems that it has not appeared
23:36 ity: I sent an email to igt-dev@lists.freedesktop.org
23:38 ity: Ah, "Is being held until the list moderator can review it for approval."
23:39 FLHerne: Are you subscribed to the list? I think some lists require manual approval if not
23:39 FLHerne: ah
23:40 ity: I subscribed just now, seems that it is being held because I wasn't subscribed when I sent it perhaps? Not sure
23:41 ity: I presume I should just wait now?
23:43 FLHerne: yeah, I'd imagine filtering is done when the mail arrives, it's not a particularly smart system
23:45 FLHerne: so yes, wait a day or so and then nag someone if needed
23:46 FLHerne: most graphics people are employed by some company so not much happens on weekends