Skip to content

Add buffer-identification segment#15

Open
rjekker wants to merge 1 commit intogexplorer:masterfrom
rjekker:buffer-id
Open

Add buffer-identification segment#15
rjekker wants to merge 1 commit intogexplorer:masterfrom
rjekker:buffer-id

Conversation

@rjekker
Copy link

@rjekker rjekker commented Jun 13, 2022

Using the buffer-name segment, we lose some information, e.g. the current Info node. I've implemented an additional segment that includes that information.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant