Skip to content

Update debian/changelog and debian/control#394

Merged
Mandarancio merged 4 commits into
fabiocolacio:masterfrom
archisman-panigrahi:master
Apr 28, 2023
Merged

Update debian/changelog and debian/control#394
Mandarancio merged 4 commits into
fabiocolacio:masterfrom
archisman-panigrahi:master

Conversation

@archisman-panigrahi

Copy link
Copy Markdown
Contributor

I have made some modifications to debian/changelog and debian/control (e.g. updated build dependencies), so that it would be easier to build the Debian package.

I have also figured out how to use submodules in Marker so that I can easily maintain Marker stable releases and daily builds.

@Mandarancio Mandarancio merged commit 3890400 into fabiocolacio:master Apr 28, 2023
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.

2 participants