tree 8c94b969307c66261c8a9390ecbe01a7e6e750fa
parent 43bf63a26d1eeb9efa1c04851f5ee5ae06637b0e
author Denis.Zharkov <denis.zharkov@jetbrains.com> 1721644455 +0200
committer Denis.Zharkov <denis.zharkov@jetbrains.com> 1725282180 +0200

Drop io.vavr.control.Option.getOrNull which now exists as a member