Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

session ini rev id fix #815

Merged
merged 1 commit into from
Feb 24, 2024
Merged

session ini rev id fix #815

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion reference/session/ini.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="utf-8"?>
<!-- EN-Revision: cfcad8e3474d87bb6bcaa1515476694bf60e3d5d Maintainer: yannick Status: ready -->
<!-- EN-Revision: d8bc36d413b4458bc27ecc41517f26f6d1df3f27 Maintainer: yannick Status: ready -->
<!-- Reviewed: yes -->

<section xml:id="session.configuration" xmlns="http://docbook.org/ns/docbook">
Expand Down