diff options
author | Roman Grundkiewicz <rogrundk@microsoft.com> | 2020-07-26 01:00:10 +0300 |
---|---|---|
committer | Martin Junczys-Dowmunt <Marcin.JunczysDowmunt@microsoft.com> | 2020-07-26 01:00:10 +0300 |
commit | 900147714737ce35828c905eee2879afecc2ccef (patch) | |
tree | a549669b7cbe0eba1b3c7731b08c5777dc50901a /.github | |
parent | 71dccf343e1fced17fcbeb158f844e80963ddaae (diff) |
Merged PR 14060: Sync with public marian-dev master v1.9.26
This PR pulls recent changes from the public repo.
In particular, it adds back the submodule for marian-server, which has been accidentally removed during the last sync into the public marian-dev. See the original PR in the public repo: https://github.com/marian-nmt/marian-dev/pull/673
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions