Skip to content

RaiseError::OptionNameHasBadType is corrected - #71

Merged
dmitry-lipetsk merged 1 commit into
postgrespro:masterfrom
dmitry-lipetsk:D20261108_012--OptionNameHasBadType
Nov 8, 2026
Merged

RaiseError::OptionNameHasBadType is corrected#71
dmitry-lipetsk merged 1 commit into
postgrespro:masterfrom
dmitry-lipetsk:D20261108_012--OptionNameHasBadType

RaiseError::OptionNameHasBadType is corrected

94ad53b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint (3.13)
succeeded Nov 8, 2026 in 13s