Project

General

Profile

Actions

Bug #8789

closed

Bug #8788: Documentation makefile fails to update git repos (git pull *before* changing branch)

Documentation makefile fails to update git repos (git pull *before* changing branch) - 3.1 branch

Added by Jonathan CLARKE almost 8 years ago. Updated almost 8 years ago.

Status:
Released
Priority:
N/A
Category:
Documentation
Target version:
Severity:
UX impact:
User visibility:
Effort required:
Priority:
Name check:
Fix check:
Regression:

Description

There was a bug in the resolution of #8788

Actions

Also available in: Atom PDF