[gnome-build-meta/abderrahim/freedesktop-sdk-18.08.13-real] freedesktop-sdk: really use 18.08.13

[Abderrahim Kitouni <akitouni src gnome org>]

commit 4cee3209e9973dc3ed777d8c187277e247c5a8ea
Author: Abderrahim Kitouni <akitouni gnome org>
Date:   Wed Oct 17 12:57:29 2018 +0100

    freedesktop-sdk: really use 18.08.13
    
    and remove the unused junction.refs
    
    Fixes #84

 elements/freedesktop-sdk.bst | 2 +-
 junction.refs                | 4 ----
 2 files changed, 1 insertion(+), 5 deletions(-)
---
diff --git a/elements/freedesktop-sdk.bst b/elements/freedesktop-sdk.bst
index bc6a596..94394d4 100644
--- a/elements/freedesktop-sdk.bst
+++ b/elements/freedesktop-sdk.bst
@@ -3,7 +3,7 @@ sources:
 - kind: git
   url: https://gitlab.com/freedesktop-sdk/freedesktop-sdk/
   track: 18.08
-  ref: 718ea88089644a1ea5b488de0b90c2c565cb75f8 # freedesktop-sdk-18.08.12
+  ref: 3d013cc2f43ed38bf5f1dc096e33f6b2f1b3e721 # freedesktop-sdk-18.08.13
 config:
   options:
     target_arch: '%{arch}'