Fix #7798: Change ForceDegree to noBottom in inline#7804
Merged
biboudis merged 1 commit intoscala:masterfrom Dec 20, 2019
Merged
Fix #7798: Change ForceDegree to noBottom in inline#7804biboudis merged 1 commit intoscala:masterfrom
biboudis merged 1 commit intoscala:masterfrom