applications: fix Element type size (#74233) #16
lguerin
commented 2023-02-06 17:52:13 +01:00
Owner
No description provided.
lguerin
added 1 commit 2023-02-06 17:52:13 +01:00
gitea-wip/hobo/pipeline/pr-main This commit looks good
Details
fpeters
approved these changes 2023-02-06 18:01:20 +01:00
lguerin
merged commit 13f0821c66 into main 2023-02-06 18:05:49 +01:00
lguerin
deleted branch wip/74233-fix-element-type-length 2023-02-06 18:05:49 +01:00
Loading…
Reference in New Issue
No description provided.
Delete Branch "wip/74233-fix-element-type-length"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?