diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-07-29 10:04:33 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-07-29 10:04:33 +0200 |
| commit | 44094e8f19ad410ac7fc78ddbc9e18f42bc3cf62 (patch) | |
| tree | 38d95556e0b141afff0f6ee480cd41538bfa6afe /src/Erebos/Storage/Head.hs | |
| parent | d8160f03094e6d18509956efe9bb6aeda31d79c5 (diff) | |
Rename peerIdentity to getPeerIdentity
Changelog: API: Renamed `Network.peerIdentity` to `getPeerIdentity`.
Diffstat (limited to 'src/Erebos/Storage/Head.hs')
0 files changed, 0 insertions, 0 deletions