print correction #314
muellerr
commented 2022-11-03 10:41:21 +01:00
Owner
No description provided.
muellerr
added 1 commit 2022-11-03 10:41:24 +01:00
print correction
1f2c410a5f
muellerr
requested review from meierj 2022-11-03 10:41:30 +01:00
muellerr
added this to the v1.16.0 milestone 2022-11-03 10:41:34 +01:00
meierj
approved these changes 2022-11-03 12:15:01 +01:00
meierj
merged commit 954cd91c93 into develop 2022-11-03 12:15:06 +01:00
meierj
referenced this issue from a commit 2022-11-03 12:15:06 +01:00
Merge pull request 'print correction' (#314) from pdec_handler_print_correction into develop
muellerr
deleted branch pdec_handler_print_correction 2022-11-03 13:31:13 +01:00
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "pdec_handler_print_correction"
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?