--- gnulib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnulib b/gnulib index dcf27be..d245e6d 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit dcf27bef48c9800d5a2be8349226f73f1b8ff2e5 +Subproject commit d245e6ddd6ab2624d0d83acd8f111454f984f50f -- 1.7.12.2
- [PATCH 0/3] {maint} maintenance issues with DOT Akim Demaille
- [PATCH 2/3] xml: slight improvement of the DOT output Akim Demaille
- [PATCH 3/3] gnulib: update Akim Demaille
- [PATCH 1/3] maint: check for dot before using it Akim Demaille
